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.

Description
Physical Description:	xii, 596 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	0321228626