Reading Length
Home
Speed Tests
Login
Robert Gerth
Identifiers
Open Library
OL10236829A
Books by Robert Gerth
Total count: 1
Theoretical and Practical Aspects of SPIN Model Checking
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
Springer London, Limited
2003-01-01
