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