Event Beta

26th International SPIN Symposium on Model Checking of Software

Name: 26th International SPIN Symposium on Model Checking of Software
Start: 2019-07-15
End: 2019-07-16
Location: Beijing

SPIN 2019SPIN

Date: 2019-07-15/16
Place: Beijing, People's Republic of China on the map
Series: International SPIN Symposium on Model Checking of Software
Edition: 26
Attendance: on site
Status: as scheduled
Website: https://conf.researchr.org/home/spin-2019
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, software engineering
Identifier: https://id.confref.org/event/e11vy32

Proceedings

Title	DOI	Year	Record
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings Lecture Notes in Computer Science 11636	10.1007/978-3-030-30923-7	2019	dblp

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/spin2019` · page
ConfIDent	`https://id.confref.org/data/confident/34874` · page
dblp	`https://dblp.org/db/conf/spin/spin2019`

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

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