Extra Materials Archive

Book cover

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

Extra Materials File 978-3-540-48234-5