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

ISBN

9783540664994

$99.00

Format	Paperback
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:1999 Number of Pages:x, 282 Illustrated:Yes Series Volume Number:1680 Media Class:Print LC Classification Number:QA1-939