B | |
---|---|
[BCD+11] | Luboš Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini et Jean-François Raskin. Faster algorithms for mean-payoff games. Formal Methods in System Design 38(2):97-118. Springer-Verlag, avril 2011. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1
- 1