Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	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 / edited by Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink. by Dams, Dennis Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. by Dams, Dennis Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG