B | |
---|---|
[BRS14] | Romain Brenguier, Jean-François Raskin et Mathieu Sassolas. The complexity of admissibility in omega-regular games. In CSL/ LICS'14, pages 23:1-23:10. ACM Press, juillet 2014. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1