@PhdThesis{       Fogarty,
  Author        = "Fogarty, Seth",
  date-added    = "2015-04-22 11:08:50 +0000",
  date-modified = "2015-04-22 11:09:45 +0000",
  School        = "Rice University",
  Title         = {B{\"u}chi Automata as Specifications for Reactive Systems},
  Year          = "2012",
  File          = "Büchi Automata as Specifications for Reactive Systems - Fogarty (0) (0) - a - a - b.pdf"
}

@PhdThesis{ Fogarty, Author = "Fogarty, Seth", date-added = "2015-04-22 11:08:50 +0000", date-modified = "2015-04-22 11:09:45 +0000", School = "Rice University", Title = {B{\"u}chi Automata as Specifications for Reactive Systems}, Year = "2012", File = "Büchi Automata as Specifications for Reactive Systems - Fogarty (0) (0) - a - a - b.pdf" }