Filip MAZOWIECKI
Filip Mazowiecki Post-Doctorant ()

Équipe LaBRI : Méthodes formelles
Courrier électronique : filip.mazowieckiarobaselabri.fr
Bureau : 374
Tél : +33 (0)5 40 00 35 10


Extrait de publications


Diego Figueira, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki, Grégoire Sutre. Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2017, Varsovie, Poland. pp.119


Page mise à jour le 13/08/2010 à 10:56