1.

図書
図書
1. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
E. Allen Emerson, A. Prasad Sistla (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1855
所蔵情報: loading…
2.

図書
図書
2. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2404
所蔵情報: loading…
3.

図書
図書
3. Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2102
所蔵情報: loading…
4.

図書
図書
4. Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Thomas Ball, Robert B. Jones (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 4144
所蔵情報: loading…
5.

図書
図書
5. Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
Werner Damm, Holger Hermanns (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4590
所蔵情報: loading…
6.

図書
図書
6. Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Aarti Gupta, Sharad Malik (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5123
所蔵情報: loading…
7.

図書
図書
7. Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings
Nicolas Halbwachs, Doron Peled (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1633
所蔵情報: loading…
8.

図書
図書
8. Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1102
所蔵情報: loading…
9.

図書
図書
9. Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
Alan J. Hu, Moshe Y. Vardi (eds.)
出版情報: Berlin : Springer-Verlag, c1998
シリーズ名: Lecture notes in computer science ; 1427
所蔵情報: loading…
10.

図書
図書
10. Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings (: us ; : gw)
Pierre Wolper (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 939
所蔵情報: loading…