%0 Conference Paper %1 conf/iceis/CombemaleGCTV07 %A Combemale, Benoît %A Garoche, Pierre-Loïc %A Crégut, Xavier %A Thirioux, Xavier %A Vernadat, François %B ICEIS (3) %D 2007 %E Cardoso, Jorge %E Cordeiro, José %E Filipe, Joaquim %K dblp %P 80-89 %T Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. %U http://dblp.uni-trier.de/db/conf/iceis/iceis2007-3.html#CombemaleGCTV07 %@ 978-972-8865-90-0

@inproceedings{conf/iceis/CombemaleGCTV07, added-at = {2021-03-17T00:00:00.000+0100}, author = {Combemale, Benoît and Garoche, Pierre-Loïc and Crégut, Xavier and Thirioux, Xavier and Vernadat, François}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a2da248967e03b5672d2516c312a59fe/dblp}, booktitle = {ICEIS (3)}, crossref = {conf/iceis/2007-3}, editor = {Cardoso, Jorge and Cordeiro, José and Filipe, Joaquim}, interhash = {57bff81c919818b084cb05cf8ad3de8e}, intrahash = {a2da248967e03b5672d2516c312a59fe}, isbn = {978-972-8865-90-0}, keywords = {dblp}, pages = {80-89}, timestamp = {2022-03-01T07:11:00.000+0100}, title = {Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.}, url = {http://dblp.uni-trier.de/db/conf/iceis/iceis2007-3.html#CombemaleGCTV07}, year = 2007 }