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

TitleVerification of Workflow Control-Flow Patterns with the SPIN Model Checker
Publication TypeMaster's Thesis
2010
AuthorsStolz, MC