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
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
Titre: |
|
Auteur: | Bouyer, Patricia P.; Brenguier, Romain; Markey, Nicolas N. |
Informations sur la publication: | 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) |
Statut de publication: | Publié, 2011-12 |
series: | Leibniz International Proceedings in Informatics |
Sujet CREF: | Informatique générale |
Langue: | N/A |