@PhdThesis{       Tauriainen,
  Author        = "Tauriainen, Heikki",
  date-added    = "2012-04-07 11:37:20 +0200",
  date-modified = "2012-04-07 11:37:54 +0200",
  Keywords      = "automata theory and alternating automata and temporal logic",
  Title         = "On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata",
  Year          = "2003",
  File          = "On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata - Tauriainen (0) (0) - a - a - h.pdf"
}

@PhdThesis{ Tauriainen, Author = "Tauriainen, Heikki", date-added = "2012-04-07 11:37:20 +0200", date-modified = "2012-04-07 11:37:54 +0200", Keywords = "automata theory and alternating automata and temporal logic", Title = "On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata", Year = "2003", File = "On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata - Tauriainen (0) (0) - a - a - h.pdf" }