@inproceedings{ dblp3324858,
  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},
  author_short = {Combemale, B. and Crégut, X. and Garoche, P. and Thirioux, X. and Vernadat, F.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2007},
  key = {dblp3324858},
  id = {dblp3324858},
  biburl = {http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleCGTV07},
  url = {http://dx.doi.org/10.1007/978-3-540-88710-2_23},
  conference = {ICEIS (Selected Papers)},
  pages = {286-300},
  text = {ICEIS (Selected Papers) 2007:286-300},
  booktitle = {Proceedings of ICEIS (Selected Papers)}
}

{"_id":{"_str":"5422819bc6071b817c000224"},"__v":0,"authorIDs":["5456f0818b01c81930000085"],"author_short":["Combemale, B.","Crégut, X.","Garoche, P.","Thirioux, X.","Vernadat, F."],"bibbaseid":"combemale-crgut-garoche-thirioux-vernadat-apropertydrivenapproachtoformalverificationofprocessmodels-2007","bibdata":{"title":"A Property-Driven Approach to Formal Verification of Process Models","author":["Benoît Combemale","Xavier Crégut","Pierre-Loïc Garoche","Xavier Thirioux","François Vernadat"],"author_short":["Combemale, B.","Crégut, X.","Garoche, P.","Thirioux, X.","Vernadat, F."],"bibtype":"inproceedings","type":"inproceedings","year":"2007","key":"dblp3324858","id":"dblp3324858","biburl":"http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleCGTV07","url":"http://dx.doi.org/10.1007/978-3-540-88710-2_23","conference":"ICEIS (Selected Papers)","pages":"286-300","text":"ICEIS (Selected Papers) 2007:286-300","booktitle":"Proceedings of ICEIS (Selected Papers)","bibtex":"@inproceedings{ dblp3324858,\n title = {A Property-Driven Approach to Formal Verification of Process Models},\n author = {Benoît Combemale and Xavier Crégut and Pierre-Loïc Garoche and Xavier Thirioux and François Vernadat},\n author_short = {Combemale, B. and Crégut, X. and Garoche, P. and Thirioux, X. and Vernadat, F.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2007},\n key = {dblp3324858},\n id = {dblp3324858},\n biburl = {http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleCGTV07},\n url = {http://dx.doi.org/10.1007/978-3-540-88710-2_23},\n conference = {ICEIS (Selected Papers)},\n pages = {286-300},\n text = {ICEIS (Selected Papers) 2007:286-300},\n booktitle = {Proceedings of ICEIS (Selected Papers)}\n}","bibbaseid":"combemale-crgut-garoche-thirioux-vernadat-apropertydrivenapproachtoformalverificationofprocessmodels-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-88710-2_23"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/iceis/CombemaleCGTV07","creationDate":"2014-09-24T08:32:27.999Z","downloads":0,"keywords":[],"search_terms":["property","driven","approach","formal","verification","process","models","combemale","crégut","garoche","thirioux","vernadat"],"title":"A Property-Driven Approach to Formal Verification of Process Models","year":2007,"dataSources":["vd8shEDXCFZ2HCJMQ"]}