Safety Verification of Floodgate Operation Protocols using hybrid automata

Panduranga rao, M V and Chaganti, A (2014) Safety Verification of Floodgate Operation Protocols using hybrid automata. In: 9th IMecs conference, 2014.

Full text not available from this repository. (Request a copy) [error in script]
IITH Creators:
IITH CreatorsORCiD
Panduranga rao, M VUNSPECIFIED
Item Type: Conference or Workshop Item (Paper)
Subjects: Computer science
Divisions: Department of Computer Science & Engineering
Depositing User: Library Staff
Date Deposited: 05 Sep 2019 09:01
Last Modified: 05 Sep 2019 09:01
URI: http://raiith.iith.ac.in/id/eprint/6124
Publisher URL:
Related URLs:

    Actions (login required)

    View Item View Item
    Statistics for RAIITH ePrint 6124 Statistics for this ePrint Item