Documents publiés en "2016"
Nombre de documents: 1
Département de génie informatique et génie logiciel
Bérard, B., Hélouët, L., & Mullins, J. (2016). Non-interference in partial order models. ACM Transactions on Embedded Computing Systems, 16(2), 1-34. Lien externe