Efficient approximate reachability of state transition systems with local interactions (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2007Edition: Description: 47 p; 30 cmISBN: Subject(s): Chakraborty, Supratik | Theses and Dissertations | Algorithms , Symbolic circuit analysis , Logic , Symbolic and mathematicalItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:517.1:681.3.06Juv | Not for loan | D02B22 | 213933 |
Total holds: 0
There are no comments on this title.