Skip to content
  Kermeta  
 
Document Actions

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, and François Vernada (2007)

Towards a Formal Verification of Process Model Properties - SimplePDL and TOCL Case Study

In: ICEIS, INSTICC, Funchal, Madeira, Portugal.

http://www.combemale.net/research/phd/2007/iceis0607-CCGTV-longpaper702-slide.pdf