Page values for "CAV 2001"
Facts about "CAV 2001"
Acceptance rate | 31.1 + |
Accepted papers | 33 + |
Acronym | CAV 2001 + |
End date | July 22, 2001 + |
Event in series | CAV + |
Event type | Conference + |
Has coordinates | 48° 51' 24", 2° 21' 5"Latitude: 48.856697222222 Longitude: 2.3514611111111 + |
Has location city | Paris + |
Has location country | Category:France + |
Homepage | http://www.lsv.ens-cachan.fr/Events/cav01/ + |
IsA | Event + |
Ordinal | 13 + |
Start date | July 18, 2001 + |
Submitted papers | 106 + |
Title | Computer Aided Verification + |