Formalization and model checking of live sequence charts (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2012Edition: Description: iii,45 p; 30 cmISBN: Subject(s): Krishna, S.N. and Pandya, Paritosh K | Theses and Dissertations | Electronic data processing-Distributed processing , Computer multitaskingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Theses and Dissertations | Central Library, IITB | 043:681.327.8Pra | Not for loan | D02B29 | 231803 |
Total holds: 0
There are no comments on this title.