Your search returned 3 results.

Not what you expected? Check for suggestions

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. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher number: 12326419 Publication details: Berlin : Springer, 2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Modeling in Event-B : system and software engineering / Jean-Raymond Abrial. by Abrial, Jean-Raymond Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 2010 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	3.	Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. by Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 [author.] Grumberg, Orna [author.] Peled, Doron A, 1962- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, ©1999 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Refine your search