Document is current
Any future updates will be listed below
-
Authors
Ayaziová, Paulína https://orcid.org/0000-0003-1072-8137
Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Lingsch-Rosenfeld, Marian https://orcid.org/0000-0002-8172-3184
Spiessl, Martin https://orcid.org/0000-0002-9169-9130
Strejček, Jan https://orcid.org/0000-0001-5873-403X
- License Information
-
More Information
Chapter History
First Online: 13 October 2024
Funding Statement
: P. Ayaziová and J. Strejček were supported by the Czech Science Foundation grant GA23-06506S. D. Beyer, M. Lingsch-Rosenfeld, and M. Spiessl were supported by the Deutsche Forschungsgemeinschaft (DFG) – (ConVeY) and (IdeFix).
Conference Information
Conference Acronym: SPIN
Conference Name: International Symposium on Model Checking Software
Conference City: Luxembourg City
Conference Country: Luxembourg
Conference Year: 2024
Conference Start Date: 10 April 2024
Conference End Date: 11 April 2024
Conference Number: 30
Conference ID: spin2024
Conference URL: https://spin-web.github.io/SPIN2024/
