Partial Order Reduction for Timed Systems Govind Rajanbabu
By: Rajanbabu, Govind [author].
Contributor(s): Herbreteau, Frederic [advisor] | Srivathsan, B [advisor] | Walukiewicz, Igor [advisor].
Material type:
TextPublisher: Siruseri; Chennai Mathematical Institute c2021Description: xviii, 243 pages; ill.; 29 cms.Subject(s): -- Timed SystemsOnline 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 RAJ (Browse shelf) | Available | 10915 |
Total holds: 0
Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - June 2021. Guide: Prof. B Srivathsan, Frederic Herbreteau, Igor Walukiewicz.