Conter Machines: Decidable Properties and Applications to Verification Problems.

Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer

Browse the full MFCS paper archive.