Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary).

Janusz A. Brzozowski Carl-Johan H. Seger Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary). 69-78 1986 conf/icalp/1986 ICALP db/conf/icalp/icalp86.html#BrzozowskiS86 http://dx.doi.org/10.1007/3-540-16761-7_56