Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings - Preface

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5123 LNCS, Issue , 2008, Pages

  Gupta, Aarti ^a   Malik, Sharad ^b  

^a NEC LABORATORIES AMERICA   (United States)

^b Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 48949089996     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1     Document Type: Conference Paper

References (0)