Browsing by Author "Göller, Stefan"

Now showing items 1-1 of 1

Bisimulation equivalence and regularity for real-time one-counter automata

Böhm, Stanislav; Göller, Stefan; Jančar, Petr (Journal of Computer and System Sciences. 2014, vol. 80, issue 4, p. 720-743.)