Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.
Why Kobo?
With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings/en-ca/model-checking-software-30th-international-symposium-spin-2024-luxembourg-city-luxembourg-april-8-9-2024-proceedings/34394B08-CD28-4D2B-B26C-FD9180D86F5D.html34394B08-CD28-4D2B-B26C-FD9180D86F5D
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings