par Exibard, Leo ;Filiot, Emmanuel ;Lhote, Nathan ;Reynier, Pierre-Alain
Référence Logical methods in computer science, 18, 3, page (9:1-9:41)
Publication Publié, 2022
Article révisé par les pairs