Model Checking Software
Subtitle: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540460176