Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Event Beta

International SPIN Symposium on Model Checking of Software

SPIN 2020
Date
2020-07-24/25
Place
Chicago, United States on the map
Series
International SPIN Symposium on Model Checking of Software
Attendance
on site
Status
cancelled
Website
https://spin2020ui.web.illinois.edu/
Academic field
Natural sciences: Computer and information sciences
Disciplines
computer science
Identifier
https://id.confref.org/event/e12ah79

Sources

The records of the sources that this identifier brings together (cr:sameAs).

ConfIDent

Cite

International SPIN Symposium on Model Checking of Software. confref identifier e12ah79. https://id.confref.org/event/e12ah79

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.