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
ICEIS, 2007.
@inproceedings{ICEIS-EIS-2007-CombemaleGCTV,
author = "Benoît Combemale and Pierre-Loïc Garoche and Xavier Crégut and Xavier Thirioux and François Vernadat",
booktitle = "{Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume 3: EIS}",
pages = "80--89",
title = "{Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study}",
year = 2007,
}