CAV 2000
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° 51' 10", -87° 39' 50"Latitude: 41.852780555556 Longitude: -87.664 + |
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 + |