Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker. by Leucker, Martin 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.	Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan. by Leucker, Martin 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