TY  - BOOK
AU  - Oikonomou, Kanstantinos N.
TI  - Fault detection using abstracted models of finite-state machines
T2  - University of Minnesota, Ph.D. Thesis
U1  - 004.2 
PY  - 1982///
CY  - Ann Arbor
PB  - UMI
ER  -