Formalization and model checking of LSCs for reactive systems (R)

By: Pandey, SushantContributor(s): Krishna, S.N. and Pandya, Paritosh KLanguage: English Series: Publication details: Mumbai ; IIT ; 2011Edition: Description: iv,81 p; 30 cmISBN: Subject(s): Krishna, S.N. and Pandya, Paritosh K | Theses and Dissertations | Computer software-Verification , Computer programs-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.06Pan Not for loan D02B28 228294
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha