Verification of Workflow Control-Flow Patterns with the SPIN Model Checker

Date of Publication
2010
Publication Type
Working Paper
Subject(s)
Language(s)
de
Contributor(s)
Additional Credits
Publisher
Institut für Wirtschaftsinformatik, Universität Bern
Access(Rights)
metadata.only
Show full item