Results
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
© 1999
Soft cover - Print (ISBN: 978-3-540-66499-4)
Electronic (ISBN: 978-3-540-48234-5)
View this book on
SpringerLink
Download Product Archive File - 978-3-540-48234-5