Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Lectures on Formal Methods and PerformanceAnalysis First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3-7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen. by Brinksma, Ed 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.	Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / edited by Ed Brinksma, Kim Guldstrand Larsen. by Brinksma, Ed 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).
	3.	Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2-4, 1997 Proceedings / edited by Ed Brinksma. by Brinksma, Ed 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