Browse
FAQ

Author

Mieke Massinek

1 book 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