C | |
---|---|
[CFG+16] | Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, and 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, July 2016. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1