1. Applied Logic Series;H. Barringer,1999
2. Lecture Notes in Computer Science;R. Bloem,1999
3. Carsten, F.: Constructing Büchi automaton from linear temporal logic using simulation relations for alternating Büchi automata. In: Lecture Notes in Computer Science, vol. 2759, pp. 35–48. Springer, Berlin (2003)
4. Daniele, M., Giunchiglia, F., Vardi, M.: Improved automata generation for linear temporal logic. In: (CAV’99), International Conference on Computer-Aided Verification, Trento, Italy (1999)
5. Emerson, E.A.: Temporal and modal logics. In: van Leenwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996–1072. Elsevier Science, Amsterdam (1990)