Redouane Bouchekir, Saïda Boukhedouma, Mohand Cherif Boukala. Automatic Compositional Verification of Probabilistic Safety Properties for Inter-organisationalWorkflow Processes. In Yuri Merkuryev, Tuncer Ören, Mohammad S. Obaidat, editors, Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2016), Lisbon, Portugal, July 29-31, 2016. pages 244-253, SciTePress, 2016. [doi]
Abstract is missing.