Revision history of "CAV 2012"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

Retrieved from "https://www.openresearch.org/wiki/CAV_2012"
Facts about "CAV 2012"
RDF feed
Acceptance rate31.4 +
Accepted papers58 +
AcronymCAV 2012 +
End dateJuly 13, 2012 +
Event in seriesCAV +
Event typeConference +
Has coordinates37° 52' 15", -122° 16' 22"Latitude: 37.870838888889
Longitude: -122.27286388889 +
Has location cityBerkeley +
Has location countryCategory:USA +
Has location stateCalifornia +
Homepagehttp://cav12.cs.illinois.edu/ +
IsAEvent +
Ordinal24 +
Start dateJuly 7, 2012 +
Submitted papers185 +
TitleComputer Aided Verification +