Event Beta

International Workshop on Verification, Model Checking, and Abstract Interpretation

Name: International Workshop on Verification, Model Checking, and Abstract Interpretation
Start: 2006-01-08
End: 2006-01-10
Location: Charleston

VMCAI 2006VMCAI

Date: 2006-01-08/10
Place: Charleston, United States on the map
Series: International Workshop on Verification, Model Checking, and Abstract Interpretation
Edition: 7
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e108mpd

Proceedings

Title	DOI	Year	Record
Verification, Model Checking, and Abstract Interpretation LNCS 3855	10.1007/11609773	2006	Springer
Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings Lecture Notes in Computer Science 3855	10.1007/11609773	2006	dblp

Where the sources disagree

place: springer-lod: Q44564; dblp: Q44564; wikidata: Q47716; confref-portal: Q44564; gnd: Q47716

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)	`http://lod.springer.com/data/conference/vmcai2006`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/vmcai2006` · page
Wikidata	`http://www.wikidata.org/entity/Q106245052`
dblp	`https://dblp.org/db/conf/vmcai/vmcai2006`
GND	`https://d-nb.info/gnd/10123868-X`

Cite

International Workshop on Verification, Model Checking, and Abstract Interpretation. confref identifier e108mpd. https://id.confref.org/event/e108mpd

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.