Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available No cover image available Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 Proceedings / Allen, Emerson E. and A Prasad Sistla, by Emerson E. Allen Sistla, A Prasad Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2000 Availability: Items available for loan: Central Library, SUST (1)Call number: 004.24 EMC. Place hold Add to cart (remove)
	2.	Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen Namjoshi, Kedar S Series: Lecture notes in computer science ; 3855 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, c2006 Availability: Items available for loan: Central Library, SUST (3)Call number: 005.14 EMV, ... Place hold Add to cart (remove)
	3.	Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / Editors:E. Allen Emerson, A. Prasad Sistla by CAV (Conference) (18th : 2006 : Seattle, Wash.) Emerson, E. Allen Sistla, A. Prasad Material type: Text; Format: microfiche ; Literary form: Not fiction Publication details: New York : Springer, c2000 Availability: Items available for loan: Central Library, SUST (2)Call number: 004.24 COM, ... Place hold Add to cart (remove)