Scalable Safety Verification of Statechart-like Programs Kumar Madhukar
By: Madhukar, Kumar [author.].
Contributor(s): Mandayam Srivas [advisor.] | Peter Schrammel [advisor.] | Chennai Mathematical Institute [parent institute].
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Reports/Dissertations | Chennai Mathematical Institute General Stacks | T MAD (Browse shelf) | Available | 10833 |
Total holds: 0
Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - November 2018. Guide - Prof. Mandayam Srivas and Prof. Peter Schrammel.