Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study

Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. Combemale, B., Garoche, P., Crégut, X., Thirioux, X., & Vernadat, F. In Proceedings of International Conference on Enterprise Information Systems (ICEIS), pages 80-89, 2007.
bibtex

@inproceedings{ dblp3324622,
  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},
  author_short = {Combemale, B. and Garoche, P. and Crégut, X. and Thirioux, X. and Vernadat, F.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2007},
  key = {dblp3324622},
  id = {dblp3324622},
  biburl = {http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleGCTV07},
  url = {},
  conference = {ICEIS},
  pages = {80-89},
  text = {ICEIS 2007:80-89},
  booktitle = {Proceedings of International Conference on Enterprise Information Systems (ICEIS)}
}

Downloads: 0

{"_id":{"_str":"5422819bc6071b817c000223"},"__v":0,"authorIDs":["5456f0818b01c81930000085"],"author_short":["Combemale, B.","Garoche, P.","Crégut, X.","Thirioux, X.","Vernadat, F."],"bibbaseid":"combemale-garoche-crgut-thirioux-vernadat-towardsaformalverificationofprocessmodelspropertiessimplepdlandtoclcasestudy-2007","bibdata":{"title":"Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study","author":["Benoît Combemale","Pierre-Loïc Garoche","Xavier Crégut","Xavier Thirioux","François Vernadat"],"author_short":["Combemale, B.","Garoche, P.","Crégut, X.","Thirioux, X.","Vernadat, F."],"bibtype":"inproceedings","type":"inproceedings","year":"2007","key":"dblp3324622","id":"dblp3324622","biburl":"http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleGCTV07","url":"","conference":"ICEIS","pages":"80-89","text":"ICEIS 2007:80-89","booktitle":"Proceedings of International Conference on Enterprise Information Systems (ICEIS)","bibtex":"@inproceedings{ dblp3324622,\n title = {Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study},\n author = {Benoît Combemale and Pierre-Loïc Garoche and Xavier Crégut and Xavier Thirioux and François Vernadat},\n author_short = {Combemale, B. and Garoche, P. and Crégut, X. and Thirioux, X. and Vernadat, F.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2007},\n key = {dblp3324622},\n id = {dblp3324622},\n biburl = {http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleGCTV07},\n url = {},\n conference = {ICEIS},\n pages = {80-89},\n text = {ICEIS 2007:80-89},\n booktitle = {Proceedings of International Conference on Enterprise Information Systems (ICEIS)}\n}","bibbaseid":"combemale-garoche-crgut-thirioux-vernadat-towardsaformalverificationofprocessmodelspropertiessimplepdlandtoclcasestudy-2007","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleGCTV07","creationDate":"2014-09-24T08:32:27.998Z","downloads":0,"keywords":[],"search_terms":["towards","formal","verification","process","model","properties","simplepdl","tocl","case","study","combemale","garoche","crégut","thirioux","vernadat"],"title":"Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study","year":2007,"dataSources":["yptTNDn6r4EwoSQgJ"]}