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 Creators ORCiD Panduranga Rao, M V UNSPECIFIED
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:	18 Feb 2022 08:55
URI:	http://raiithold.iith.ac.in/id/eprint/6124
Publisher URL:
Related URLs:

Actions (login required)

View Item

Statistics for this ePrint Item