Your search returned 2 results.

Results
	1.	No cover image available Model Checking / by E. M. Clarke. by Clarke, E. M Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 1999 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.21 CLA/M. Place hold
	2.	Principles of Model Checking / by Christel Baier. by Baier, Christel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : The MIT Press, 2008 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 004.24 BAI/P. Place hold

Refine your search