CAV 1991 Conference Statistics
CAV 1991 has 42 accepted papers recorded, and was held in Aalborg, Denmark. This partial record contains the currently verified details.
International Conference on Computer-Aided Verification 1991 (3rd) was held in Aalborg, Denmark.
CAV 1991 and 1990 do not yet have enough matching data for a direct comparison.
Accepted Papers
42
Location
Aalborg, Denmark
CAV 1991 Statistics
| Conference | CAV - International Conference on Computer-Aided Verification |
|---|---|
| Year | 1991 |
| Ordinal | 3rd |
| Location | Aalborg, Denmark |
| Accepted | 42 |
| Submitted | N/A |
| Acceptance Rate | N/A |
| Note | 42 refereed papers, excluding two invited talks. |
More Pages
Newer: CAV 1992 | All CAV acceptance rates | Older: CAV 1990