Luis E. Mendoza Morales, Manuel I. Capel Tuñón, María A. Pérez. A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes. In Joaquim Filipe, José Cordeiro, editors, Enterprise Information Systems - 12th International Conference, ICEIS 2010, Funchal, Madeira, Portugal, June 8-12, 2010, Revised Selected Papers. Volume 73 of Lecture Notes in Business Information Processing, pages 388-403, Springer, 2010. [doi]
Abstract is missing.