par Bouyer, Patricia P.;Brenguier, Romain
;Markey, Nicolas N.;Ummels, Michael
Référence Logical methods in computer science, 11, 2, 9
Publication Publié, 2015-06
;Markey, Nicolas N.;Ummels, MichaelRéférence Logical methods in computer science, 11, 2, 9
Publication Publié, 2015-06
Article révisé par les pairs
| Fichier importé via le DOI |



