Improved decision procedures for propositional temporal logic for timing verification of digital systems (R)

By: Bapat, SContributor(s): sherlekar, S.DLanguage: English Series: Publication details: Bombay ; IIT ; 1986Edition: Description: 50 p; 30 cmISBN: Subject(s): sherlekar, S.D | Theses and Dissertations | Digital Systems
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:621.391.8:681.3:16Bap Not for loan D02B07 138973
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha