C | |
---|---|
[CFG+16] | Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini et Jean-François Raskin. The Complexity of Rational Synthesis. In ICALP'16, Leibniz International Proceedings in Informatics 55, pages 121:1-121:15. Leibniz-Zentrum für Informatik, juillet 2016. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1