par Douéneau-Tabot, Gaëtan;Filiot, Emmanuel ;Gastin, Paul
Référence Leibniz international proceedings in informatics, 170, MFCS-2020-29
Publication Publié, 2020-08-01
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur