Your search returned 3 results.

Results
	1.	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. 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)
	2.	Interactive Markov chains and the quest for quantified quality Holger Hermanns. by Hermanns, Holger Series: Lecture notes in computer science ; 2428 Publication details: Berlin : Springer, c2002 Online resources: Publisher description Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 005.1 H426I. Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.1 H426I. Not available: Central Library, IISER Bhopal: Checked out (1). Add to cart (remove)
	3.	Automata, logics, and infinite games Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Publication details: New York : Springer, 2002 Online resources: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004 G75A. Add to cart (remove)

Refine your search