Author:
Bjørner Nikolaj,Hendrix Joe
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–204 (1994)
2. Lecture Notes in Computer Science;I. Balaban,2007
3. Bjørner, N., Hendrix, J.: Linear functional fixed-points. Technical Report MSR-TR-2009-8, Microsoft Research (2009)
4. Börger, E., Grädel, Gurevich: The Classical Decision Problem. Springer, Heidelberg (1996)
5. Lecture Notes in Computer Science;L. Moura de,2008
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献