Author:
Burkart Olaf,Caucal Didier,Moller Faron,Steffen Bernhard
Reference150 articles.
1. Simulation is decidable for one-counter nets;Abdulla,1998
2. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
3. Real-time systems = discrete systems + clock variables;Alur;Software Tools for Technology Transfer,1997
4. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten,1987
5. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten;J. ACM,1993
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献