Publications
« back to the overview
|
|
Title: | ComCert: Automated Certification of Cloud-based Business Processes |
Publication type: | Journal Articles |
Authors: | Accorsi R, Lowis L |
Year of publication: | 2010 |
Journal: | ERCIM News |
Volume: | 83 |
Pages: | 50 - |
URL/DOI: | http://ercim-news.ercim.e[...]ies/EN83/EN83-web.pdf |