Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Heftet /
2024
/ Engelsk
Produktdetaljer
ISBN
9783031661488
Publisert
2024-10-13
Utgiver
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
14
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.
The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions.
Les mer
Produktdetaljer
ISBN
9783031661488
Publisert
2024-10-13
Utgiver
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
14