From state transition diagrams to CTL formulae : an aid for property specification (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2004Edition: Description: ii,52 p; 29 cmISBN: Subject(s): Chakraborty, Supratik | Theses and Dissertations | Verification(Logic) , Computing system-VerificationItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:681.3:517.1May | Not for loan | D04B08 | 204285 |
Total holds: 0
There are no comments on this title.