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
We couldn't estimate the reading time for this book.
Publication
2003 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540482345
- ISBN-103540482342
- Better World Books9783540482345
- Open LibraryOL37149305M
Classifications
- LCCQA76.75-76.765
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!