CAV (Conference)
著者名典拠詳細を表示
| 著者の属性 | 会議 |
|---|---|
| 場所 | Aalborg, Denmark;Montreal, Canada;Elounda, Greece;Stanford;Liège, Belgium;New Brunswick, NJ;Haifa, Israel;Vancouver, BC;Trento, Italy;Chicago;Paris |
| 一般注記 | 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) |
| Dates of Birth and Death | 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 |
| コード類 | 典拠ID=AU20018779 NCID=DA05999924 |