Revision history of "CAV 2014"

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_2014"
关于“CAV 2014”的事实
RDF源
Acceptance rate29.3 +
Accepted papers67 +
AcronymCAV 2014 +
End date2014年7月22日 (二) +
Event in seriesCAV +
Event typeConference +
Has coordinates48° 12' 30", 16° 22' 21"Latitude: 48.208352777778
Longitude: 16.372505555556 +
Has location cityVienna +
Has location countryCategory:Austria +
Homepagehttp://i-cav.org/2014/ +
IsAEvent +
Ordinal26 +
Start date2014年7月18日 (五) +
Submitted papers229 +
TitleComputer Aided Verification +