Stolz, Manuela Claudia

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping

Stolz, Manuela Claudia (2010). Verification of Workflow Control-Flow Patterns with the SPIN Model Checker (Arbeitsbericht 237). Institut für Wirtschaftsinformatik, Universität Bern

Provide Feedback