Publisher
Springer International Publishing
Reference40 articles.
1. Lecture Notes in Computer Science;CS Althoff,2006
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;B Boigelot,2001
4. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Studies in Logic and the Foundations of Mathematics, vol. 44, pp. 1–11. Elsevier (1966)
5. Carton, O., Maceiras, R.: Computing the Rabin index of a parity automaton. RAIRO-Theoret. Inform. Appl. 33(6), 495–505 (1999)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献