A Property-Driven Approach to Formal Verification of Process Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat. A Property-Driven Approach to Formal Verification of Process Models. In Joaquim Filipe, José Cordeiro, Jorge Cardoso, editors, Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers. Volume 12 of Lecture Notes in Business Information Processing, pages 286-300, Springer, 2007. [doi]

This author has not been identified. Look up 'Benoît Combemale' in GoogleThis author has not been identified. Look up 'Xavier Crégut' in GoogleThis author has not been identified. Look up 'Pierre-Loïc Garoche' in GoogleThis author has not been identified. Look up 'Xavier Thirioux' in GoogleThis author has not been identified. Look up 'François Vernadat' in Google

runs on WebDSL