Theoretical and Practical Aspects of SPIN Model Checking
Subtitle: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540482345