Reachability in Pushdown Register Automata
Andrzej S. Murawski‚ Steven J. Ramsay and Nikos Tzevelekos
Book Title
Mathematical Foundations of Computer Science 2014 − 39th International Symposium‚ MFCS 2014‚ Budapest‚ Hungary‚ August 25−29‚ 2014. Proceedings‚ Part I
Pages
464–473
Year
2014