The Spin Model Checker: Primer and Reference Manual
Full Title: | The Spin Model Checker: Primer and Reference Manual |
---|---|
ISBN: | 0321228626 |
ISBN13: | 9780321228628 |
List Price: | USD $68.99 |
Authors: |
Holzmann, Gerard J. |