Feasibility of model checking in the context of business processes using amber and spin

W. Janssen, S. Mauw, J. Springintveld

Research output: Book/ReportReportAcademic

Original languageEnglish
PublisherTelematica Research Centre
Number of pages14
Publication statusPublished - 1997

Publication series

NameTestbed/wp4/n011/v001

Cite this

Janssen, W., Mauw, S., & Springintveld, J. (1997). Feasibility of model checking in the context of business processes using amber and spin. (Testbed/wp4/n011/v001). Telematica Research Centre.