Author:
Althoff Christoph Schulte,Thomas Wolfgang,Wallmeier Nico
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. B. Boigelot, S. Jodogne, P. Wolper, An effective decision procedure for linear arithmetic with integer and real variables, ACM Trans. Comput. Logic 6 (3) (2005) 614–633.
2. K. Etessami, T. Wilke, R.A. Schuller, Fair simulation relations, parity games, and state space reduction for Büchi automata, in: Proc. of ICALP 2001, Lecture Notes in Computer Science, Vol. 2076, Springer, Berlin, 2001, pp. 694–707.
3. D. Kähler, Determinisierung von ω-automaten, Diplomarbeit, Christian-Albrechts-Universität zu Kiel, Juni 2001.
4. J. Klein, C. Baier, Experiments with deterministic ω-automata for formulas of linear temporal logic, in: Proc. 10th Internat. Conf. on the Implementation and Application of Automata, CIAA 2005, Lecture Notes in Computer Science, Vol. 3845, Springer, Berlin, 2005.
5. C. Löding, Optimal bounds for the transformation of omega-automata, in: Proc. 19th Conf. on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, Vol. 1738, Springer, Berlin, 1999, pp. 97–109.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献