Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
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.
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006
Yao Qi, Raja Das, et al.
ISSTA 2009
Preeti Malakar, Thomas George, et al.
SC 2012
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS