Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Full text!
Format:
e-book
Title:
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Author:
Neele, Thomas.; Wijs, Anton
Language:
English
Publisher:
Cham Springer 2024
ISBN:
3-031-66148-6
3-031-66149-4
Permalink:
http://bibtest.howest.be/catalog/ebk03:36340924500041?locale=en