著者典拠情報

著者標目形：
CAV (Conference)
属性：
Meeting
場所：
Aalborg, Denmark;Montreal, Canada;Elounda, Greece;Stanford;Liège, Belgium;New Brunswick, NJ;Haifa, Israel;Vancouver, BC;Trento, Italy;Chicago;Paris
日付：
1991;1992;1993;1994;1995;1996;1997;1998;1999;2000;2001
から見よ参照形：
DIMACS Workshop on Computer-Aided Verification
International Conference, CAV
International Workshop, CAV
International Conference on Computer Aided Verification
Workshop on Computer-Aided Verification
Conference on Computer-Aided Verification
注記：
Computer-aided verification, c1991: (2nd : New Brunswick : 1990)
Computer aided verification, c1993: t.p (4th International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992)
EDSRC:Computer-aided verification, c1991: t.p. (2nd International Conference, CAV '90) pref. (CAV '90)
EDSRC:Computer aided verification, c1992: t.p. (3rd international workshop, CAV '91) pref. (Third International Workshop on Comupter Aided Varification, CAV '91)
Computer aided verification, c1993: t.p. (5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993)
Computer aided verification, c1995: t.p. (7th International Conference, CAV '95)
著者典拠ID：
DA05999924


1.

図書
図書
1. Computer aided verification : 15th International Conference, CAV 2003, Boulder, Co, USA, July 8-12, 2003 : proceedings
Warren A. Hunt, Jr., Fabio Somenzi (eds.)
出版情報: Berlin : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2725
所蔵情報: 図書館
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
所蔵情報: 研究室
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
所蔵情報: 図書館
4.

図書
図書
4. 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
所蔵情報: 図書館
5.

図書
図書
5. 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
所蔵情報: 図書館
6.

図書
図書
6. 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
所蔵情報: 図書館
7.

図書
図書
7. 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
所蔵情報: 図書館
8.

図書
図書
8. Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings (: us ; : gw)
David L. Dill (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 818
所蔵情報: 図書館
9.

図書
図書
9. Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings (: Berlin ; : New York)
K.G. Larsen, A. Skou (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 575
所蔵情報: 図書館
10.

図書
図書
10. Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings (: Berlin ; : New York)
E.M. Clarke, R.P. Kurshan, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 531
所蔵情報: 図書館