Publisher
Springer International Publishing
Reference40 articles.
1. Alur, R., Henzinger, T.A., Kuperman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002).
https://doi.org/10.1145/585265.585270
2. Blackburn, P., Spaan, E.: A modal perspective on the computational complexity of attribute value grammar. J. Log. Lang. Inf. 2, 129–169 (1993).
https://doi.org/10.1007/bf01050635
3. Chagrov, A., Rybakov, M.: How many variables does one need to prove PSPACE-hardness of modal logics? In: Advances in Modal Logic, vol. 4, pp. 71–82. King’s College Publications (2003)
4. Lecture Notes in Computer Science;EM Clarke,1981
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献