par Filiot, Emmanuel
;Gauwin, Olivier;Reynier, Pierre-Alain
;Servais, Frédéric 
Référence Logical methods in computer science, Volume 15, Issue 2
Publication Publié, 2019-01-01



Référence Logical methods in computer science, Volume 15, Issue 2
Publication Publié, 2019-01-01
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur |