par Bouyer, Patricia; Brenguier, Romain Liste de publications; Markey, Nicolas N.; Ummels, Michael
Référence Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12), 7213, (page 301-315)
Publication Publié, 2012-03
Publication dans des actes