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