par Filiot, Emmanuel
;Gauwin, Olivier;Lhote, Nathan 
Référence Logical methods in computer science, 15, 4, page (16:1-16:42)
Publication Publié, 2019-10-01


Référence Logical methods in computer science, 15, 4, page (16:1-16:42)
Publication Publié, 2019-10-01
Article révisé par les pairs