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

Research output: Other contribution › Communication

Original language	English
Publisher	Springer, LNCS
Edition	12864
Volume	LNCS
DOIs	https://doi.org/https://link.springer.com/book/10.1007%2F978-3-030-84629-9
Publication status	Published - 2021

Name	Lecture Notes in Computer Science (LNCS)
Publisher	Springer

Fields of Science and Technology Classification 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 -