Difference between revisions of "CAV 2006"

From Openresearch
Jump to: navigation, search
 
Line 12: Line 12:
 
|State=Washington
 
|State=Washington
 
|Country=USA
 
|Country=USA
|Submitted papers=144
+
|Submitted papers=121
|Accepted papers=45
+
|Accepted papers=35
 
|has Proceedings Link=https://www.springer.com/gp/book/9783540374060
 
|has Proceedings Link=https://www.springer.com/gp/book/9783540374060
 
}}
 
}}

Latest revision as of 15:33, 9 February 2021

CAV 2006
Computer Aided Verification
Ordinal 18
Event in series CAV
Dates 2006/08/17 (iCal) - 2006/08/20
Homepage: http://dblp.uni-trier.de/db/conf/cav/cav2006.html
Location
Location: Seattle, Washington, USA
Loading map...

Papers: Submitted 121 / Accepted 35 (28.9 %)
Table of Contents