Revision history of "CAV 2001"

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_2001"
Facts about "CAV 2001"
RDF feed
Acceptance rate31.1 +
Accepted papers33 +
AcronymCAV 2001 +
End dateJuly 22, 2001 +
Event in seriesCAV +
Event typeConference +
Has coordinates48° 51' 24", 2° 21' 5"Latitude: 48.856697222222
Longitude: 2.3514611111111 +
Has location cityParis +
Has location countryCategory:France +
Homepagehttp://www.lsv.ens-cachan.fr/Events/cav01/ +
IsAEvent +
Ordinal13 +
Start dateJuly 18, 2001 +
Submitted papers106 +
TitleComputer Aided Verification +