par Bertrand, Nathalie;Bouyer, Patricia;Majumdar, Anirban
Référence FSTTCS, Schloss Dagstuhl - Leibniz-Zentrum f"ur Informatik, Vol. 150, page (31:1-31:15)
Publication Publié, 2019
Publication dans des actes
Fichier(s) déposé(s) par l'encodeur