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
同姓同名の著者を検索
Alexandra Silva, K. Rustan M. Leino (eds.)
Springer c2021 Lecture notes in computer science 12760 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
pt. 2
所蔵館1館
Springer c2021 Lecture notes in computer science 12759 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
pt. 1
Rupak Majumdar, Viktor Kunčak (eds.)
Springer c2017 Lecture notes in computer science 10426-10427 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
pt. 1 , pt. 2
Swarat Chaudhuri, Azadeh Farzan (eds.)
Springer c2016 Lecture notes in computer science 9779-9780 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Daniel Kroening, Corina S. Păsăreanu (eds.)
Springer c2015 Lecture notes in computer science 9206-9207 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
所蔵館2館
P. Madhusudan, Sanjit A. Seshia (eds.)
Springer c2012 Lecture notes in computer science 7358
所蔵館3館
Ganesh Gopalakrishnan, Shaz Qadeer (eds.)
Springer c2011 Lecture notes in computer science 6806
: pbk
Tayssir Touili, Byron Cook, Paul Jackson (eds.)
Springer c2010 Lecture notes in computer science 6174
所蔵館4館
Ahmed Bouajjani, Oded Maler (eds.)
Springer c2009 Lecture notes in computer science 5643
Aarti Gupta, Sharad Malik (eds.)
Springer c2008 Lecture notes in computer science 5123
所蔵館5館
Werner Damm, Holger Hermanns (eds.)
Springer c2007 Lecture notes in computer science 4590
所蔵館6館
Thomas Ball, Robert B. Jones (eds.)
Springer c2006 Lecture notes in computer science 4144
所蔵館12館
Kousha Etessami, Sriram K. Rajamani (eds.)
Springer c2005 Lecture notes in computer science 3576
所蔵館13館
Rajeev Alur, Doron A. Peled (eds.)
Springer c2004 Lecture notes in computer science 3114
所蔵館19館
Warren A. Hunt, Jr., Fabio Somenzi (eds.)
Springer c2003 Lecture notes in computer science 2725
所蔵館24館
Ed Brinksma, Kim Guldstrand Larsen (eds.)
Springer c2002 Lecture notes in computer science 2404
所蔵館31館
Gérard Berry, Hubert Comon, Alain Finkel (eds.)
Springer c2001 Lecture notes in computer science 2102
E. Allen Emerson, A. Prasad Sistla (eds.)
Springer c2000 Lecture notes in computer science 1855
所蔵館41館
Nicolas Halbwachs, Doron Peled (eds.)
Springer-Verlag c1999 Lecture notes in computer science 1633
所蔵館40館
Alan J. Hu, Moshe Y. Vardi (eds.)
Springer-Verlag c1998 Lecture notes in computer science 1427
所蔵館39館
