Results
Principles of the Spin Model Checker
© 2008
Soft cover - Print (ISBN: 978-1-84628-769-5)
Electronic (ISBN: 978-1-84628-770-1)
View this book on
SpringerLink
Download Extras Archive File - 978-1-84628-769-5
Download Product Archive File - 978-1-84628-770-1