• Citer

The complexity of admissibility in Omega-regular games

par Brenguier, Romain ;Raskin, Jean-François ;Sassolas, Mathieu
Référence Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, page (23)
Publication Publié, 2014

Publication dans des actes

• Accès en ligne
• Détails
• Statistiques

Fichier(s) déposé(s) par l'encodeur