Spin Model Checker, The: Primer and Reference Manual

RecordNumber
49382
Author
Gerard j . Holzmann
Title
Spin Model Checker, The: Primer and Reference Manual
Publication
Addison Wesley
Publication Year
2003
Collation
608
نام فايل
IUST eb-197 -- eb197d10
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=49382&Field=0&DTC=2

Gerard j . Holzmann