Publication:

Declarative web services composition using proofs

Date

 
dc.contributor.authorBaccar, S.
dc.contributor.authorRouached, M.
dc.contributor.authorVerborgh, Ruben
dc.contributor.authorAbid, M.
dc.contributor.imecauthorVerborgh, Ruben
dc.contributor.orcidimecVerborgh, Ruben::0000-0002-8596-222X
dc.date.accessioned2021-10-25T16:36:59Z
dc.date.available2021-10-25T16:36:59Z
dc.date.embargo9999-12-31
dc.date.issued2018-12
dc.identifier.issn1863-2386
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30177
dc.identifier.urlhttps://link.springer.com/article/10.1007/s11761-018-0234-4
dc.source.beginpage371
dc.source.endpage389
dc.source.issue3_4
dc.source.journalService Oriented Computing and Applications
dc.source.volume12
dc.title

Declarative web services composition using proofs

dc.typeJournal article
dspace.entity.typePublication
Files

Original bundle

Name:
40817.pdf
Size:
1.79 MB
Format:
Adobe Portable Document Format
Publication available in collections: