TY  - GEN
N2  - This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
DO  - 10.1007/978-3-031-32157-3
DO  - doi
AB  - This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
T1  - Model checking software :29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings /
AU  - Caltais, Georgiana,
AU  - Schilling, Christian,
VL  - 13872
CN  - QA76.76.V47
N1  - Includes author index.
ID  - 1467829
KW  - Computer software
KW  - Software engineering
KW  - Computer software
SN  - 9783031321573
SN  - 303132157X
TI  - Model checking software :29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-32157-3
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-32157-3
ER  -