«

»

A Property-Driven Approach to Formal Verification of Process Models

by Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux, Francois Vernadat
Reference:
A Property-Driven Approach to Formal Verification of Process Models (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux, Francois Vernadat), Chapter in Enterprise Information System IX (Jorge Cardoso, José Cordeiro, Joaquim Filipe, Vitor Pedrosa, eds.), LNBIP, Springer, volume 12, 2008.
Bibtex Entry:
@incollection{eis07,
	Author = {Benoit Combemale and Xavier Cr{'e}gut and Pierre-Loic Garoche and Xavier Thirioux and Francois Vernadat},
	Booktitle = {Enterprise Information System IX},
	Editor = {Jorge Cardoso and Jos{'e} Cordeiro and Joaquim Filipe and Vitor Pedrosa},
	Pages = {286--300},
	Publisher = {LNBIP, Springer},
	Title = {{A Property-Driven Approach to Formal Verification of Process Models}},
	Url = {http://dx.doi.org/10.1007/978-3-540-88710-2_23},
	Volume = {12},
	Year = {2008},
	Bdsk-Url-1 = {http://dx.doi.org/10.1007/978-3-540-88710-2_23}}