Event Beta

International Workshop on Design, Specification, and Verification of Interactive Systems

Name: International Workshop on Design, Specification, and Verification of Interactive Systems
Start: 2008-07-16
End: 2008-07-18
Location: Kingston

DSV-IS

Date: 2008-07-16/18
Place: Kingston, Canada on the map
Series: International Workshop on Design, Specification, and Verification of Interactive Systems
Edition: 15
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e102d8x

Proceedings

Title	DOI	Year	Record
Interactive Systems. Design, Specification, and Verification LNCS 5136	10.1007/978-3-540-70569-7	2008	Springer
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers Lecture Notes in Computer Science 5136	10.1007/978-3-540-70569-7	2008	dblp

Where the sources disagree

start date: springer-lod: 2008-07-16; confref-portal: 2008-01-01

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/dsvis2008`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/dsvis2008` · page
dblp	`https://dblp.org/db/conf/dsvis/dsvis2008`

Cite

International Workshop on Design, Specification, and Verification of Interactive Systems. confref identifier e102d8x. https://id.confref.org/event/e102d8x

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.