Event Beta
Computer Aided Verification
CAV 2011CAV
- Date
- 2011-07-14/20
- Place
- Cliff Lodge, United States on the map
- Series
- International Conference on Computer Aided Verification
- Edition
- 23
- Attendance
- on site
- Status
- as scheduled
- Website
- http://formalverification.cs.utah.edu/cav2011/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e1019gj
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Computer Aided Verification LNCS 6806 | 10.1007/978-3-642-22110-1 | 2011 | Springer |
| Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings Lecture Notes in Computer Science 6806 | 10.1007/978-3-642-22110-1 | 2011 | dblp |
Where the sources disagree
- place: confident: Q5132675; springer-lod: Q3487194; dblp: Q3487194; confref-portal: Q3487194
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| ConfIDent | |
| dblp | |
| GND |
Cite
Computer Aided Verification. confref identifier e1019gj. https://id.confref.org/event/e1019gj
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.