Joint Proceedings of the Cassting Workshop on Games for the Synthesis of Complex Systems and of the 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16)

December 16, 2017 in by

by Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jiří Srba
Reference:
Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jiří Srba. Joint Proceedings of the Cassting Workshop on Games for the Synthesis of Complex Systems and of the 3rd International Workshop on Synthesis of Complex Parameters (Cassting’16/SynCoP’16). Electronic Proceedings in Theoretical Computer Science. 2016. (To appear)
Bibtex Entry:
@proceedings{BDJMS-cassting-syncop16,
  address =       {Eindhoven, The~Netherlands},
  author =        {Brihaye, Thomas and Delahaye, Beno{^i}t and
                   Jezequel, Lo{"i}g and Markey, Nicolas and
                   Srba, Ji{v r}{'i}},
  booktitle =     {Joint Proceedings of the Cassting Workshop on Games
                   for the Synthesis of Complex Systems and of the 3rd
                   International Workshop on Synthesis of Complex
                   Parameters (Cassting'16{slash}SynCoP'16)},
  editor =        {Brihaye, Thomas and Delahaye, Beno{^i}t and
                   Jezequel, Lo{"i}g and Markey, Nicolas and
                   Srba, Ji{v r}{'i}},
  note =          {To~appear},
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {Joint Proceedings of the Cassting Workshop on Games
                   for the Synthesis of Complex Systems and of the 3rd
                   International Workshop on Synthesis of Complex
                   Parameters (Cassting'16{slash}SynCoP'16)},
  year =          {2016},
  category =      {misc},
  wps =           {wp5},
  partners =      {CNRS and UMONS and AAU},
  casstingpart =  {100},
}