Publications

Export 2 results:

Filters: First Letter Of Title is V [Clear All Filters]

2010

M. C. Stolz, “Verification of Workflow Control-Flow Patterns with the SPIN Model Checker”. Universität Bern, 2010.

2004

G. Jäger and D. Probst, “Variation on a theme of Schütte”, Mathematical Logic Quarterly, vol. 50, p. 258{–}264, 2004.