Stephan Merz

Books
Temporal Logic and State Systems Temporal Logic and State Systems
Temporal Logic and State Systems
2008
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013