Event Beta
International Conference on Computer Aided Verification
CAV 2017CAV
- Date
- 2017-07-24/28
- Place
- Heidelberg, Germany on the map
- Series
- International Conference on Computer Aided Verification
- Edition
- 29
- Attendance
- on site
- Status
- as scheduled
- Website
- http://cavconference.org/2017/
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e1019p6
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Computer Aided Verification LNCS 10426 | 10.1007/978-3-319-63387-9 | 2017 | Springer |
| Computer Aided Verification LNCS 10427 | 10.1007/978-3-319-63390-9 | 2017 | Springer |
| Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I Lecture Notes in Computer Science 10426 | 10.1007/978-3-319-63387-9 | 2017 | dblp |
| Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II Lecture Notes in Computer Science 10427 | 10.1007/978-3-319-63390-9 | 2017 | dblp |
Where the sources disagree
- edition number: confident: 29; springer-lod: 30; dblp: 29
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 |
Cite
International Conference on Computer Aided Verification. confref identifier e1019p6. https://id.confref.org/event/e1019p6
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.