Mieke Massinek

Identifiers

Open LibraryOL10236830A

Books by Mieke Massinek

Total count: 1

Theoretical and Practical Aspects of SPIN Model Checking5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Springer London, Limited2003-01-01