Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002).
https://doi.org/10.1145/585265.585270
2. van Benthem, J., et al.: Frame correspondences in modal predicate logic. Proofs, categories and computations: essays in honor of Grigori Mints, pp. 1–14 (2010)
3. Blackburn, P.: Nominal tense logic. Notre Dame J. Form. Log. 34(1), 56–83 (1993).
https://doi.org/10.1305/ndjfl/1093634564
4. Cambridge Tracts in Theoretical Computer Science;P Blackburn,2001
5. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programm. Lang. Syst. (TOPLAS) 8(2), 244–263 (1986)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献