Your search returned 2 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- 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.	Networks M.E.J. Newman. by Newman, Mark Edition: 2nd ed. Publication details: New Delhi : Oxford University Press, 2018 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 003 N46N2. Add to cart (remove)

Refine your search