Spin Model Checker : Primer and Reference Manual
ISBN: 9780321228628
Information Available:
Summary
Author Notes
Inside Flap
Cover Image
Reviews
Table Of Contents
Copyright held by Baker & Taylor.