TY - JOUR AU - Seger, C.-J. AU - Brzozowski, J. A. TI - Generalized ternary simulation of sequential circuits JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1994 SP - 159 EP - 186 VL - 28 IS - 3-4 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1994__28_3-4_159_0/ LA - en ID - ITA_1994__28_3-4_159_0 ER -