Normal view MARC view ISBD view

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

Bapat, S.

Improved decision procedures for propositional temporal logic for timing verification of digital systems (R) - - Bombay IIT 1986 - 50 p. 30 cm - .

ISBN:

Subjects--Topical Terms:
sherlekar, S.D.
Theses and Dissertations
Digital Systems

Universal Decimal Class. No.: 043:621.391.8:681.3:16Bap

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)