An approach and a tool for verification of service-based inter-organizational workflows

Saida Boukhedouam, Maroua Zergui, Zaia Alimazighi. An approach and a tool for verification of service-based inter-organizational workflows. In Tenth IEEE International Conference on Research Challenges in Information Science, RCIS 2016, Grenoble, France, June 1-3, 2016. pages 1-6, IEEE, 2016. [doi]

Abstract

Abstract is missing.