Extending temporal logic with Omega-automata

Piterman, N.

Extending temporal logic with Omega-automata (bibtex)

@mastersthesis{Pit00,
        author      =   {N. Piterman},
        title       =   {Extending temporal logic with Omega-automata},
        school      =   {The Weizmann Institute of Science},
        year        =   {2000},
	pdf = {2000/msc_thesis.pdf},
        url        =   {2000/msc_thesis.html},
  keywords = {Automata,Temporal Logic},
}