par Bouyer, Patricia P.;Brenguier, Romain ;Markey, Nicolas N.
Référence Proceedings of the 31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), FSTTCS'11, Leibniz-Zentrum für Informatik, Vol. 13, page (375-386)
Publication Publié, 2011-12
Publication dans des actes
Fichier(s) déposé(s) par l'encodeur