Oikonomou, Kanstantinos N. <br/><br/>
Fault detection using abstracted models of finite-state machines   
by Kanstantinos N. Oikonomou 
 - Ann Arbor  UMI  1982 
 - ii, 351p. 
 - University of Minnesota, Ph.D. Thesis. .
<br/><br/><label>Dewey Class. No.: </label>004.2  / N82