CAV (Conference)

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

同姓同名の著者を検索

検索結果28件中 1-20 を表示

1
2
1 / 2

1

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

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館
2

Computer aided verification : 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

Alexandra Silva, K. Rustan M. Leino (eds.)

Springer c2021 Lecture notes in computer science 12759 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

pt. 1

所蔵館1館
3

Computer aided verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings

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

所蔵館1館
4

Computer aided verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings

Swarat Chaudhuri, Azadeh Farzan (eds.)

Springer c2016 Lecture notes in computer science 9779-9780 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

pt. 1 , pt. 2

所蔵館1館
5

Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings

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

pt. 1 , pt. 2

所蔵館2館
6

Computer aided verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

P. Madhusudan, Sanjit A. Seshia (eds.)

Springer c2012 Lecture notes in computer science 7358

所蔵館3館
7

Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings

Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

Springer c2011 Lecture notes in computer science 6806

: pbk

所蔵館3館
8

Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings

Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Springer c2010 Lecture notes in computer science 6174

所蔵館4館
9

Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26-July 2, 2009 : proceedings

Ahmed Bouajjani, Oded Maler (eds.)

Springer c2009 Lecture notes in computer science 5643

所蔵館4館
10

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings

Aarti Gupta, Sharad Malik (eds.)

Springer c2008 Lecture notes in computer science 5123

所蔵館5館
11

Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

Werner Damm, Holger Hermanns (eds.)

Springer c2007 Lecture notes in computer science 4590

所蔵館6館
12

Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings

Thomas Ball, Robert B. Jones (eds.)

Springer c2006 Lecture notes in computer science 4144

所蔵館12館
13

Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

Kousha Etessami, Sriram K. Rajamani (eds.)

Springer c2005 Lecture notes in computer science 3576

所蔵館13館
14

Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

Rajeev Alur, Doron A. Peled (eds.)

Springer c2004 Lecture notes in computer science 3114

所蔵館19館
15

Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Warren A. Hunt, Jr., Fabio Somenzi (eds.)

Springer c2003 Lecture notes in computer science 2725

所蔵館24館
16

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Ed Brinksma, Kim Guldstrand Larsen (eds.)

Springer c2002 Lecture notes in computer science 2404

所蔵館31館
17

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Springer c2001 Lecture notes in computer science 2102

所蔵館31館
18

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

E. Allen Emerson, A. Prasad Sistla (eds.)

Springer c2000 Lecture notes in computer science 1855

所蔵館41館
19

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

Nicolas Halbwachs, Doron Peled (eds.)

Springer-Verlag c1999 Lecture notes in computer science 1633

所蔵館40館
20

Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

Alan J. Hu, Moshe Y. Vardi (eds.)

Springer-Verlag c1998 Lecture notes in computer science 1427

所蔵館39館

1
2
1 / 2

CAV (Conference)

検索結果28件中 1-20 を表示

この著者を外部サイトでさがす

関連著者