TY  - RPRT
TI  - Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters
AU  - Thomas Brihaye
AU  - Benoît Delahaye
AU  - Loïg Jezequel
AU  - Nicolas Markey
AU  - Jiří Srba
PY  - 2016
DO  - 10.4204/eptcs.220
UR  - https://arxiv.org/abs/1608.00177
ID  - 1608.00177
ER  -