Difference between revisions of "CAV 2000"
(CSV import) |
(No difference)
|
Revision as of 16:49, 30 September 2016
Facts about "CAV 2000"
Acceptance rate | 38.5 + |
Accepted papers | 35 + |
Acronym | CAV 2000 + |
End date | July 19, 2000 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 41° 52' 32", -87° 37' 28"Latitude: 41.875561111111 Longitude: -87.624422222222 + |
Has location city | Chicago + |
Has location country | Category:USA + |
Has location state | Illinois + |
IsA | Event + |
Ordinal | 12 + |
Start date | July 15, 2000 + |
Submitted papers | 91 + |
Title | Computer Aided Verification + |