Reachability in Timed Automata with Diagonal Constraints and Updates Sayan Mukherjee
By: Mukherjee, Sayan [author.].
Contributor(s): Srivathsan, B [advisor.] | Gastin, Paul [advisor.] | Chennai Mathematical Institute [parent institute.].
Material type:
TextPublisher: Siruseri Chennai Mathematical Institute c2022Description: xii, 126 pages. 28 cms.Online resources: Click here to access online
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Chennai Mathematical Institute General Stacks | T MUK (Browse shelf) | Available | 11048 |
Total holds: 0
Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - November 2021. Guide - Prof. B Srivathsan and Paul Gastin (LaBri)