Stolz, Manuela Claudia

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

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

This list was generated on Sun Feb 23 22:43:26 2025 CET.
Provide Feedback