Page values for "CAV 2011"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/CAV_2011"
Facts about "CAV 2011"
RDF feed
Acceptance rate34.2 +
Accepted papers55 +
AcronymCAV 2011 +
End dateJuly 20, 2011 +
Event in seriesCAV +
Event typeConference +
Has coordinates40° 34' 58", -111° 39' 15"Latitude: 40.582683333333
Longitude: -111.65409166667 +
Has location cityCliff Lodge +
Has location countryCategory:USA +
Has location stateSnowbird +
Homepagehttp://formalverification.cs.utah.edu/cav2011/ +
IsAEvent +
Ordinal23 +
Start dateJuly 14, 2011 +
Submitted papers161 +
TitleComputer Aided Verification +