Author:
Doyen Laurent,Raskin Jean-François
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Büchi, J.R., Landweber, L.H.: Definability in the monadic second-order theory of successor. J. Symb. Log. 34(2), 166–170 (1969)
2. Lecture Notes in Computer Science;M. Wulf De,2006
3. Doyen, L., Raskin, J.-F.: Improved Algorithms for the Automata-Based Approach to Model-Checking (extended version). Tech. Rep. 76, U.L.B. – Federated Center in Verification (2006),
http://www.ulb.ac.be/di/ssd/cfv/publications.html
4. Etessami, K., Wilke, T., Schuller, R.A.: Fair simulation relations, parity games, and state space reduction for büchi automata. SIAM J. Comput. 34(5), 1159–1175 (2005)
5. Lecture Notes in Computer Science;S. Gurumurthy,2003
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献