Bibtex de la publication

@Article{ CoCrGaThVe2009.1,
author = {Combemale, Benoit and Crégut, Xavier and Garoche, Pierre-Loïc and Thirioux, Xavier and Vernadat, François},
title = "{A Property-Driven Approach to Formal Verification of Process Models}",
journal = {Enterprise Information Systems, LNBIP 12, ICEIS 2007, Revised Selected Papers},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2009},
volume = {12},
pages = {286--300},
language = {anglais}
}