Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Principles of Model Checking Baier, Christel by Baier, Christel Material type: Text; Format: print ; Literary form: Not fiction Publication details: MIT Press ; 2008 Online access: Click here to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Validation of Stochastic Systems A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle. by Baier, Christel 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.	CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns. by Baier, Christel 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