External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat. Towards a Formal Verification of Process Model s Properties SIMPLEPDL and TOCL Case Study. In Jorge Cardoso, José Cordeiro, Joaquim Filipe, editors, ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. pages 80-89, 2007.

Authors

Benoît Combemale

This author has not been identified. Look up 'Benoît Combemale' in Google

Pierre-Loïc Garoche

This author has not been identified. Look up 'Pierre-Loïc Garoche' in Google

Xavier Crégut

This author has not been identified. Look up 'Xavier Crégut' in Google

Xavier Thirioux

This author has not been identified. Look up 'Xavier Thirioux' in Google

François Vernadat

This author has not been identified. Look up 'François Vernadat' in Google
runs on