Spin model checker : primer and reference manual
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 0321228626
- 620.001
- TA168 .H65 2004
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD Reference | Electronics and Communication Engineering | REF 620.001 HOL-S (Browse shelf(Opens below)) | Available | 000070 |
Total holds: 0
Includes bibliographical references (p. 545-552) and index.
There are no comments on this title.