Difference between revisions of "CAV 2006"

From Openresearch
Jump to: navigation, search
Line 10: Line 10:
 
|Homepage=http://dblp.uni-trier.de/db/conf/cav/cav2006.html
 
|Homepage=http://dblp.uni-trier.de/db/conf/cav/cav2006.html
 
|City=Seattle
 
|City=Seattle
|State=Washnton
+
|State=Washington
 
|Country=USA
 
|Country=USA
 
|Submitted papers=144
 
|Submitted papers=144

Revision as of 16:24, 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 144 / Accepted 45 (31.3 %)
Table of Contents


关于“CAV 2006”的事实
Acceptance rate31.3 +
Accepted papers45 +
AcronymCAV 2006 +
End date2006年8月20日 (日) +
Event in seriesCAV +
Event typeConference +
Has coordinates47° 36' 14", -122° 19' 48"Latitude: 47.603833333333
Longitude: -122.33006111111
+
Has location citySeattle +
Has location countryCategory:USA +
Has location stateWashington +
Homepagehttp://dblp.uni-trier.de/db/conf/cav/cav2006.html +
IsAEvent +
Ordinal18 +
Start date2006年8月17日 (四) +
Submitted papers144 +
TitleComputer Aided Verification +