Revision history of "CAV 2007"

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.

Facts about "CAV 2007"
Acceptance rate24.6 +
Accepted papers33 +
AcronymCAV 2007 +
End dateJuly 7, 2007 +
Event in seriesCAV +
Event typeConference +
Has coordinates52° 31' 1", 13° 23' 20"Latitude: 52.517036111111
Longitude: 13.388861111111
+
Has location cityBerlin +
Has location countryCategory:Germany +
Homepagehttp://www.cav2007.org/ +
IsAEvent +
Ordinal19 +
Start dateJuly 3, 2007 +
Submitted papers134 +
TitleComputer Aided Verification +