Author:
Vöge J.,Ulbrand S.,Matz O.,Buhrke N.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. M. Ackermann, W. Thomas, S. Ulbrand, and J. Vöge, Report on the Program omega, to appear, 1997.
2. N. Buhrke, H. Lescow, and J. Vöge, Strategy construction in infinite games with streett and robin chain winning conditions, TACAS'96 (T. Magaria and B. SteRen, eds.), Lect. Notes Comput. Sci., vol. 1055, Springer-Verlag, 1996, pp. 207–225.
3. E. M. Clarke, I. A. Browne, and R. P. Kurshan, A unified approach for showing language containment and equivalence between various types of ω automata, CAAP'90 (A. Arnold, ed.), LNCS, vol. 431, Springer-Verlag, 1990, pp. 103–116.
4. E. A. Emerson and C. L. Lei, Temporal reasoning under generalized fairness constraints, 3rd Annual Symp. on Theoretical Aspects of Computer Science (Berlin) (B. Monien and G. Vidai-Naquet, eds.), LNCS, vol. 208, Springer-Verlag, 1986, pp. 21–36.
5. E. A. Emerson, Automata, tableaux, and temporal logics, Logics of Programs (Berlin, Heidelberg, New York) (R. Parikh, ed.), LNCS, vol. 193, Springer-Verlag, 1985, pp. 79–88.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献