Rodney R. Howell;Louis E. Rosier;Dung T. Huynh;Hsu-Chun C. Yen
Univ. of Texas, Austin;Univ. of Texas, Austin;Univ. of Texas at Dallas, Richardson;Iowa State Univ., Ames
Decidability of Reachability Problems for Classes of Two Counters Automata
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science