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
Search authors sharing the same name
Orna Grumberg (ed.)
Springer-Verlag c1997 Lecture notes in computer science 1254
Available at 45 libraries
Rajeev Alur, Thomas A. Henzinger, (eds.)
Springer-Verlag c1996 Lecture notes in computer science 1102
Available at 54 libraries
Pierre Wolper (ed.)
Springer-Verlag c1995 Lecture notes in computer science 939
: us , : gw
Available at 56 libraries
David L. Dill (ed.)
Springer-Verlag c1994 Lecture notes in computer science 818
Available at 55 libraries
Costas Courcoubetis (ed.)
Springer-Verlag c1993 Lecture notes in computer science 697
: gw , : us
Available at 53 libraries
G.v. Bochmann, D.K. Probst (eds.)
Springer-Verlag c1993 Lecture notes in computer science 663
Available at 60 libraries
K.G. Larsen, A. Skou (eds.)
Springer-Verlag c1992 Lecture notes in computer science 575
Available at 57 libraries
E.M. Clarke, R.P. Kurshan, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 531
