CURRENTLY SOLD OUT

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2001)