From state transition diagrams to CTL formulae : an aid for property specification (R)

By: Maymon, M.SContributor(s): Chakraborty, SupratikLanguage: English Series: Publication details: Mumbai ; IIT ; 2004Edition: Description: ii,52 p; 29 cmISBN: Subject(s): Chakraborty, Supratik | Theses and Dissertations | Verification(Logic) , Computing system-Verification
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Theses and Dissertations 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.

to post a comment.
Share

Powered by Koha