Author:
Bozzelli Laura,Murano Aniello,Peron Adriano
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Bhat, E., Cleaveland, R.: Efficient model checking via the equational μ-calculus. In: LICS 1996, pp. 304–312 (1996)
2. Lecture Notes in Computer Science;A. Bouajjani,1997
3. Buchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. Internat. Congr. Logic, Method. and Philos. Sci. 1960, Stanford, pp. 1–12 (1962)
4. Lecture Notes in Computer Science;E.M. Clarke,1982
5. Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. Journal of the ACM 28(1), 114–133 (1981)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献