Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. W. Thomas, “Automata on infinite objects,” in: J. van Leeuwen (ed.), Handbook of Theoretical Comput. Sci., Elsevier, Amsterdam (1990), pp. 134–191.
2. F. A. Stomp, W. P. de Rover, and R. T. Gerth, “The μ-calculus as an assertion language for fairness arguments,” Information and Computation, Vol. 82, 278–322 (1989).
3. E. A. Emerson, “Temporal and modal logic,” in: J. van Leeuwen (ed.), Handbook of Theoretical Comput. Sci., Elsevier, Amsterdam (1990), pp. 996–1071.
4. K. Schneider, Verification of Reactive Systems, Springer, Berlin-Heidelberg (2004).
5. M. Abadi, L. Lamport, and P. Wolper, “Realizable and unrealizable specifications of reactive systems,” Intern. Colloq. on Automata, Languages, and Programming, Lecture Notes in Computer Science, Vol. 372, 1–17 (1989).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献