Stolz, Manuela Claudia

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

Working Paper

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 Fri Jan 31 00:40:37 2025 CET.
Provide Feedback