Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat. Towards a Formal Verification of Process Model s Properties SIMPLEPDL and TOCL Case Study. In Jorge Cardoso, José Cordeiro, Joaquim Filipe, editors, ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. pages 80-89, 2007.
Abstract is missing.