Web OPAC

Your search returned 3 results.

Results
	1.	Model checking Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by Clarke, E. M, 1945- Grumberg, Orna Peled, Doron A, 1962- Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©1999 Online resources: All EBSCO eBooks Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.21 C55M. Add to cart (remove)
	2.	25 years of model checking : history, achievements, perspectives Orna Grumberg, Helmut Veith (eds.). by Grumberg, Orna Veith, Helmut Series: Lecture notes in computer science ; 5000. \| Lecture notes in computer science. Festschrift. Material type: Text; Format: print festschrift ; Literary form: Not fiction Publisher number: 12326419 Publication details: Berlin : Springer, 2008 Online resources: Table of contents Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.1 Y32. Add to cart (remove)
	3.	Model checking Edmund M Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. by Clarke, Edmund M [author.] Grumberg, Orna Kroening, Daniel Series: The cyber-physical systems series Edition: Second edition. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge: The MIT Press, 2018 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.21 C551M2. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in