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]
@inproceedings{CombemaleCGTV07, title = {A Property-Driven Approach to Formal Verification of Process Models}, author = {Benoît Combemale and Xavier Crégut and Pierre-Loïc Garoche and Xavier Thirioux and François Vernadat}, year = {2007}, doi = {10.1007/978-3-540-88710-2_23}, url = {http://dx.doi.org/10.1007/978-3-540-88710-2_23}, tags = {process modeling, systematic-approach}, researchr = {https://researchr.org/publication/CombemaleCGTV07}, cites = {0}, citedby = {0}, pages = {286-300}, booktitle = {Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers}, editor = {Joaquim Filipe and José Cordeiro and Jorge Cardoso}, volume = {12}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-540-88709-6}, }