Author:
Aminof Benjamin,Legay Axel,Murano Aniello,Serre Olivier
Reference19 articles.
1. B. Aminof, A. Murano, and M.Y. Vardi. Pushdown module checking with imperfect information. In it CONCUR ’07, LNCS 4703, pages 461–476. Springer-Verlag, 2007.
2. P.A. Bonatti, C. Lutz, A. Murano, and M.Y. Vardi. The complexity of enriched μ-calculi. In it ICALP’06, LNCS 4052, pages 540–-551, 2006.
3. Laura Bozzelli, Aniello Murano, and Adriano Peron. Pushdown module checking. In it LPAR’05, LNCS 3835, pages 504–518. Springer-Verlag, 2005.
4. E.M. Clarke and E.A. Emerson. Design and verification of synchronization skeletons using branching time temporal logic. In it Proceedings of Workshop on Logic of Programs, LNCS 131, pages 52–71. Springer-Verlag, 1981.
5. E.A. Emerson and J.Y. Halpern. Sometimes and not never revisited: On branching versus linear time. it J. of the ACM, 33(1):151–178, 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献