Compositional Verification of Business Processes Modelled with BPMN

Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez. Compositional Verification of Business Processes Modelled with BPMN. In Joaquim Filipe, José Cordeiro, editors, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010. pages 113-122, SciTePress, 2010.

Abstract

Abstract is missing.