Difference between revisions of "CAV 2011"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 3: Line 3:
 
|has Proceedings Link=https://www.springer.com/gp/book/9783642221095
 
|has Proceedings Link=https://www.springer.com/gp/book/9783642221095
 
|Acronym=CAV 2011
 
|Acronym=CAV 2011
|End date=2011/07/20
+
|End date=2011-07-20
 
|Series=CAV
 
|Series=CAV
 
|Type =Conference
 
|Type =Conference
Line 9: Line 9:
 
|State=US/NM
 
|State=US/NM
 
|City =US/NM/Cliff
 
|City =US/NM/Cliff
 +
|Year =2011
 
|Homepage=http://formalverification.cs.utah.edu/cav2011/
 
|Homepage=http://formalverification.cs.utah.edu/cav2011/
 
|Ordinal=23
 
|Ordinal=23
|Start date=2011/07/14
+
|Start date=2011-07-14
 
|Title=Computer Aided Verification
 
|Title=Computer Aided Verification
 
|Accepted papers=55
 
|Accepted papers=55
|Submitted papers=161
+
|Submitted papers=161}}
}}
 

Revision as of 04:05, 19 November 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CAV 2011/rating

CAV 2011
Computer Aided Verification
Ordinal 23
Event in series CAV
Dates 2011-07-14 (iCal) - 2011-07-20
Homepage: http://formalverification.cs.utah.edu/cav2011/
Location
Location: US/NM/Cliff, US/NM, US
Loading map...

Papers: Submitted 161 / Accepted 55 (34.2 %)
Table of Contents