Author

Robert Gerth

2 books found

Cover of Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · First published 2003

Cover of Zürich

Zürich

Andreas Gerth, Felix E. Müller, Robert Schnieper · First published 1994