@InProceedings{   ConduracheFiliotGentiliniRaskin,
  Author        = "Condurache, Rodica and Filiot, Emmanuel and Gentilini, Raffaella and Raskin, Jean-Fran{\c c}ois",
  BookTitle     = "Proc. of ICALP'16",
  date-added    = "2016-08-02 08:02:06 +0000",
  date-modified = "2016-08-02 08:09:12 +0000",
  Keywords      = "citesme!",
  related-to    = "BrenguierClementeHunterPerezRandourRaskinSankurSassolas:survey:LATA16",
  Title         = "The Complexity of Rational Synthesis",
  Year          = "2016",
  File          = "The Complexity of Rational Synthesis - Condurache, Filiot, Gentilini, Raskin (0) (0) - a - a - j.pdf",
  file-2        = "The Complexity of Rational Synthesis - Condurache, Filiot, Gentilini, Raskin (1) (0) - a - a - j.pdf"
}

@InProceedings{ ConduracheFiliotGentiliniRaskin, Author = "Condurache, Rodica and Filiot, Emmanuel and Gentilini, Raffaella and Raskin, Jean-Fran{\c c}ois", BookTitle = "Proc. of ICALP'16", date-added = "2016-08-02 08:02:06 +0000", date-modified = "2016-08-02 08:09:12 +0000", Keywords = "citesme!", related-to = "BrenguierClementeHunterPerezRandourRaskinSankurSassolas:survey:LATA16", Title = "The Complexity of Rational Synthesis", Year = "2016", File = "The Complexity of Rational Synthesis - Condurache, Filiot, Gentilini, Raskin (0) (0) - a - a - j.pdf", file-2 = "The Complexity of Rational Synthesis - Condurache, Filiot, Gentilini, Raskin (1) (0) - a - a - j.pdf" }