@PhdThesis{       Bohy,
  Author        = "Bohy, Aaron",
  date-added    = "2014-06-22 11:46:48 +0000",
  date-modified = "2014-06-22 11:47:02 +0000",
  School        = "University of Mons",
  Title         = "Antichain based algorithms for the synthesis of reactive systems",
  Year          = "2014",
  File          = "Antichain based algorithms for the synthesis of reactive systems - Bohy (0) (0) - a - a - q.pdf"
}

@PhdThesis{ Bohy, Author = "Bohy, Aaron", date-added = "2014-06-22 11:46:48 +0000", date-modified = "2014-06-22 11:47:02 +0000", School = "University of Mons", Title = "Antichain based algorithms for the synthesis of reactive systems", Year = "2014", File = "Antichain based algorithms for the synthesis of reactive systems - Bohy (0) (0) - a - a - q.pdf" }