Publication:
Declarative web services composition using proofs
Date
| dc.contributor.author | Baccar, S. | |
| dc.contributor.author | Rouached, M. | |
| dc.contributor.author | Verborgh, Ruben | |
| dc.contributor.author | Abid, M. | |
| dc.contributor.imecauthor | Verborgh, Ruben | |
| dc.contributor.orcidimec | Verborgh, Ruben::0000-0002-8596-222X | |
| dc.date.accessioned | 2021-10-25T16:36:59Z | |
| dc.date.available | 2021-10-25T16:36:59Z | |
| dc.date.embargo | 9999-12-31 | |
| dc.date.issued | 2018-12 | |
| dc.identifier.issn | 1863-2386 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/30177 | |
| dc.identifier.url | https://link.springer.com/article/10.1007/s11761-018-0234-4 | |
| dc.source.beginpage | 371 | |
| dc.source.endpage | 389 | |
| dc.source.issue | 3_4 | |
| dc.source.journal | Service Oriented Computing and Applications | |
| dc.source.volume | 12 | |
| dc.title | Declarative web services composition using proofs | |
| dc.type | Journal article | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |