On translating linear temporal logic into alternating and nondeterministic automata

Reference:

Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.

Suggested BibTeX entry:

@phdthesis{TauriainenLic,
    author = {Tauriainen, Heikki},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {On translating linear temporal logic into alternating and nondeterministic automata},
    type = {Licentiate's thesis},
    year = {2003},
}