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
Article révisé par les pairs