www.prismmodelchecker.org
[STK+10] D. Schumm, O. Turetken, N. Kokash, A. Elgammal, F. Leymann and W.-J. van den Heuvel. Business Process Compliance through Reusable Units of Compliant Processes. In Proc. 10th International Conference on Current Trends in Web Engineering (ICWE'10). 2010. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications