Automata constructions and decision procedures for metric temporal logic by M Raj Mohan
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 006.31015113 P12
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 006.31015113 P12 (Browse shelf(Opens below)) | Available | T07618 |
Browsing JRD Tata Memorial Library shelves Close shelf browser (Hides shelf browser)
Include bibliographical references and index
PhD(Engg);2012;Computer Science and Automation
There are no comments on this title.