Techniques in symbolic model checking (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2003Edition: Description: 56 p; 28 cmISBN: Subject(s): Chakraborty, Supratik | Theses and Dissertations | Symbolic circuit analysis , Logic design-Data processing| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Theses and Dissertations
|
Central Library, IITB | 043:621.374.32:681.3Tri | Not for loan | D06B20 | 200770 |
Total holds: 0
There are no comments on this title.