Author:
Harding Aidan,Ryan Mark,Schobbens Pierre-Yves
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
2. Alur, R., La Torre, S.: Deterministic generators and games for LTL fragments. ACM Transactions on Computational Logic 5(1), 1–25 (2004)
3. SMV 10-11-02p1 (November 2002),
http://www-cad.eecs.berkeley.edu/~kenmcmil/smv/
4. Lecture Notes in Computer Science;E. Clarke,1994
5. CuDD: Colorado university decision diagram package, release 2.30 (February 2001),
http://vlsi.colorado.edu/~fabio/CUDD/
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献