The spin model checker : primer and reference manual

Title:

Personal Author:

Publication Information:

Boston : Addison-Wesley Professional, 2004

Physical Description:

xii, 596 p. : ill. ; 25 cm.

ISBN:

9780321228628

Subject Term:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010199165	TA168 H645 2004	Open Access Book	Book	Searching... Unknown