Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat. A Property-Driven Approach to Formal Verification of Process Models. In Joaquim Filipe, José Cordeiro, Jorge Cardoso, editors, Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers. Volume 12 of Lecture Notes in Business Information Processing, pages 286-300, Springer, 2007. [doi]
Abstract is missing.