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.
@inproceedings{CombemaleGCTV07,
title = {Towards a Formal Verification of Process Model s Properties SIMPLEPDL and TOCL Case Study},
author = {Benoît Combemale and Pierre-Loïc Garoche and Xavier Crégut and Xavier Thirioux and François Vernadat},
year = {2007},
tags = {case study, process modeling},
researchr = {https://researchr.org/publication/CombemaleGCTV07},
cites = {0},
citedby = {0},
pages = {80-89},
booktitle = {ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007},
editor = {Jorge Cardoso and José Cordeiro and Joaquim Filipe},
isbn = {978-972-8865-90-0},
}