ID:DA05999924
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
同姓同名の著者を検索
Orna Grumberg (ed.)
Springer-Verlag c1997 Lecture notes in computer science 1254
所蔵館45館
Rajeev Alur, Thomas A. Henzinger, (eds.)
Springer-Verlag c1996 Lecture notes in computer science 1102
所蔵館54館
Pierre Wolper (ed.)
Springer-Verlag c1995 Lecture notes in computer science 939
: us , : gw
所蔵館56館
David L. Dill (ed.)
Springer-Verlag c1994 Lecture notes in computer science 818
所蔵館55館
Costas Courcoubetis (ed.)
Springer-Verlag c1993 Lecture notes in computer science 697
: gw , : us
所蔵館52館
G.v. Bochmann, D.K. Probst (eds.)
Springer-Verlag c1993 Lecture notes in computer science 663
所蔵館59館
K.G. Larsen, A. Skou (eds.)
Springer-Verlag c1992 Lecture notes in computer science 575
E.M. Clarke, R.P. Kurshan, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 531
所蔵館53館