Model Checking Software: 29Th International Symposium, Spin 2023, Paris, France, April 26-27, 2023, Proceedings (Lecture Notes In Computer Science, 13872)
Springer
ISBN13:
9783031321566
$61.47
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 2627, 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.
- | Author: Georgiana Caltais, Christian Schilling
- | Publisher: Springer
- | Publication Date: May 02, 2023
- | Number of Pages: 209 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3031321561
- | ISBN-13: 9783031321566
- Author:
- Georgiana Caltais, Christian Schilling
- Publisher:
- Springer
- Publication Date:
- May 02, 2023
- Number of pages:
- 209 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3031321561
- ISBN-13:
- 9783031321566