Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
We describe a new elementary reduction of two-way automata to one-way automata. The reduction is based on the subset construction rather than on crossing sequence analysis. © 1989.
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Yao Qi, Raja Das, et al.
ISSTA 2009
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008