par Dartois, Luc ;Filiot, Emmanuel ;Lhote, Nathan
Référence Proceedings - Symposium on Logic in Computer Science, page (295-304)
Publication Publié, 2018-07
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur