Normal view MARC view ISBD view

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: TextTextPublisher: Siruseri Chennai Mathematical Institute c2022Description: xii, 126 pages. 28 cms.Online resources: Click here to access online
List(s) this item appears in: 2023-05-08
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)