Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

Originalsprache	Englisch
Herausgeber/in (Verlag)	Springer, LNCS
Auflage	12864
Band	LNCS
DOIs	https://doi.org/https://link.springer.com/book/10.1007%2F978-3-030-84629-9
Publikationsstatus	Veröffentlicht - 2021

Name	Lecture Notes in Computer Science (LNCS)
Herausgeber/in (Verlag)	Springer

Systematik der Wissenschaftszweige 2012

@misc{d7f180d5426647dc9a3a6cd0fbceb781,

title = "Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings",

author = "Alfons Laarman and Ana Sokolova",

year = "2021",

doi = "https://link.springer.com/book/10.1007%2F978-3-030-84629-9",

language = "English",

volume = "LNCS",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer, LNCS",

edition = "12864",

type = "Other",

}

TY - GEN

T1 - Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

AU - Laarman, Alfons

AU - Sokolova, Ana

PY - 2021

Y1 - 2021

U2 - https://link.springer.com/book/10.1007%2F978-3-030-84629-9

DO - https://link.springer.com/book/10.1007%2F978-3-030-84629-9

M3 - Other contribution

VL - LNCS

T3 - Lecture Notes in Computer Science (LNCS)

PB - Springer, LNCS

ER -