Luis E. Mendoza Morales, Manuel I. Capel. Automatic Compositional Verification of Business Processes. In Joaquim Filipe, José Cordeiro, editors, Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings. Volume 24 of Lecture Notes in Business Information Processing, pages 479-490, Springer, 2009. [doi]
Abstract is missing.