@InCollection{    springerlink:10.1007/3-540-45089-0_5,
  Author        = "Fritz, Carsten",
  Editor        = "Ibarra, Oscar and Dang, Zhe",
  affiliation   = {CAU Kiel Institut f{\"u}r Informatik und Praktische Mathematik Germany},
  BookTitle     = "Implementation and Application of Automata",
  date-added    = "2012-04-02 17:29:28 +0200",
  date-modified = "2012-04-02 15:30:02 +0000",
  ISBN          = "978-3-540-40561-0",
  keyword       = "Computer Science",
  Keywords      = "alternating automata and quotienting and temporal logic",
  Pages         = "35--48",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "Lecture Notes in Computer Science",
  Title         = {Constructing B{\"u}chi Automata from Linear Temporal Logic Using Simulation Relations for Alternating B{\"u}chi Automata},
  URL           = "http://dx.doi.org/10.1007/3-540-45089-0_5",
  Volume        = "2759",
  Year          = "2003",
  doi           = "10.1007/3-540-45089-0_5",
  File          = "Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata - Fritz (0) (0) - a - a - b.pdf"
}

@InCollection{ springerlink:10.1007/3-540-45089-0_5, Author = "Fritz, Carsten", Editor = "Ibarra, Oscar and Dang, Zhe", affiliation = {CAU Kiel Institut f{\"u}r Informatik und Praktische Mathematik Germany}, BookTitle = "Implementation and Application of Automata", date-added = "2012-04-02 17:29:28 +0200", date-modified = "2012-04-02 15:30:02 +0000", ISBN = "978-3-540-40561-0", keyword = "Computer Science", Keywords = "alternating automata and quotienting and temporal logic", Pages = "35--48", Publisher = "Springer Berlin / Heidelberg", Series = "Lecture Notes in Computer Science", Title = {Constructing B{\"u}chi Automata from Linear Temporal Logic Using Simulation Relations for Alternating B{\"u}chi Automata}, URL = "http://dx.doi.org/10.1007/3-540-45089-0_5", Volume = "2759", Year = "2003", doi = "10.1007/3-540-45089-0_5", File = "Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata - Fritz (0) (0) - a - a - b.pdf" }