C | |
---|---|
[CDH+10] | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, and 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, December 2010. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1