Your search returned 2 results.

Not what you expected? Check for suggestions

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: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1999 Availability: Items available for loan: Central Library, SUST (2)Call number: 004.21 CLM, ... Place hold Add to cart (remove)
	2.	The inverse method : parametric verification of real-time embedded systems / Étienne André, Romain Soulat. by André, Etienne Soulat, Romain Series: Focus series in computer engineering and IT Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London : Hoboken, N.J. : ISTE ; Wiley, 2013 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)

Refine your search