Kostas N. Oikonomou On a Class of Optimal Abstractions of Finite-State Machines. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1996, v:8, n:3, pp:195-220 [Journal]
Kostas N. Oikonomou Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1987, v:36, n:2, pp:185-200 [Journal]
Kostas N. Oikonomou Abstractions of Finite-State Machines and Immediately-Detectable Output Faults. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1992, v:41, n:3, pp:325-338 [Journal]