Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari.
E-book
Electronic resources
Record details
- ISBN: 9781846287701
- Physical Description: online resource.
- Publisher: London : Springer London, 2008.