Normal view MARC view ISBD view

Reachability in Timed Automata with Diagonal Constraints and Updates Sayan Mukherjee

Material type: Text

TextPublisher: 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

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	T MAD Scalable Safety Verification of Statechart-like Programs	T MUK Static and dynamic complexity of reachability, matching and related problems.	T MUK Holographic Aspects of Hyperscaling Violating Lifshitz Theories.	T MUK Reachability in Timed Automata with Diagonal Constraints and Updates	T MUR E0-Semigroups and Product Systems	T MUT Euclidean Algorithm for Certain Algebraic Number Fields	T PHA Field theoretic viewpoints on certain fluid mechanical phenomena	Next

Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - November 2021. Guide - Prof. B Srivathsan and Paul Gastin (LaBri)

CMI Library