Mitra, Sayan <br/><br/>
HIOA-a specification language for hybrid input/output automata 
by Sayan Mitra 
 - Bangalore :  Indian Institute of Science,  2001. 
 - i, 126 p. :  ill. 
<br/><br/> Includes bibliographical references 
<br/><br/>PhD;2001;Computer Science and Automation 
<br/><br/><label>Dewey Class. No.: </label>005.29 P01