C | |
---|---|
[CDH+10] | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger et Jean-François Raskin. Generalized Mean-payoff and Energy Games. In FSTTCS'10, Leibniz International Proceedings in Informatics 8, pages 505-516. Leibniz-Zentrum für Informatik, décembre 2010. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1