par Bouyer, Patricia;Brenguier, Romain 
;Markey, Nicolas N.;Ummels, Michael
Référence Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12), Springer-Verlag, Vol. 7213, page (301-315)
Publication Publié, 2012-03
;Markey, Nicolas N.;Ummels, MichaelRéférence Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12), Springer-Verlag, Vol. 7213, page (301-315)
Publication Publié, 2012-03
Publication dans des actes
| Titre: |
|
| Auteur: | Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas N.; Ummels, Michael |
| Informations sur la publication: | Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12), Springer-Verlag, Vol. 7213, page (301-315) |
| Statut de publication: | Publié, 2012-03 |
| series: | Lecture Notes in Computer Science |
| Sujet CREF: | Informatique générale |
| Langue: | Anglais |
