Author:
Kučera Antonı́n,Mayr Richard
Subject
General Computer Science,Theoretical Computer Science
Reference39 articles.
1. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten;J. Assoc. Comput. Mach.,1993
2. Reachability analysis of pushdown automata: application to model checking;Bouajjani,1997
3. An elementary decision procedure for arbitrary context-free processes;Burkart,1995
4. O. Burkart, J. Esparza, More infinite results, Electron. Notes Theoret. Comput. Sci. 5 (1997).
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献