We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
Your session will expire automatically in 0 seconds.
Cav Conference 10th 1998 Vancouver B C : Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.).
Cav Conference 11th 1999 Trento Italy : Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings / Nicolas Halbwachs, Doron Peled (Eds.).
Cav Conference 12th 2000 Chicago Ill : Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings / E. Allen Emerson, A. Prasad Sistla (eds.).
Cav Conference 13th 2001 Paris France : Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gerard Berry, Hubert Comon, Alain Finkel (eds.).
Cav Conference 26th 2014 Vienna Austria : Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings / Armin Biere, Roderick Bloem (Eds.).
Cav Conference 31st 2019 New York N Y : Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I / Isil Dillig, Serdar Tasiran (eds.).