Page values for "CAV 1996"
Facts about "CAV 1996"
| Acceptance rate | 34.4 + |
| Accepted papers | 32 + |
| Acronym | CAV 1996 + |
| End date | August 3, 1996 + |
| Event in series | CAV + |
| Event type | Conference + |
| Has coordinates | 40° 29' 42", -74° 26' 38"Latitude: 40.495136111111 Longitude: -74.443925 + |
| Has location city | New Brunswick + |
| Has location country | Category:USA + |
| Has location state | NJ + |
| Homepage | http://dblp.uni-trier.de/db/conf/cav/cav96.html + |
| IsA | Event + |
| Ordinal | 8 + |
| Start date | July 31, 1996 + |
| Submitted papers | 93 + |
| Title | Computer Aided Verification + |