The spin model checker : primer and reference manual /

Bibliographic Details
Main Author:	Holzmann, Gerard J.
Format:	Book
Language:	English
Published:	Boston, MA : Addison-Wesley, 2004.
Subjects:	Systems engineering > Mathematical models. Computer programs > Testing.

Evans: Library Stacks