Crossmark

Towards a Formal Approach for Verifying Dynamic Workflows in the Cloud

Crossref DOI link: https://doi.org/10.1007/978-3-030-11395-7_14

Published Online: 2019-01-12

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Fakhfakh, Fairouz

Kacem, Hatem Hadj

Kacem, Ahmed Hadj
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 12 January 2019

Conference Information

Conference Acronym: EMCIS

Conference Name: European, Mediterranean, and Middle Eastern Conference on Information Systems

Conference City: Limassol

Conference Country: Cyprus

Conference Year: 2018

Conference Start Date: 4 October 2018

Conference End Date: 5 October 2018

Conference Number: 15

Conference ID: emcis2018

Conference URL: http://emcis.eu/