B
[BHM17] Béatrice Bérard, Loïc Hélouët et John Mullins. Non-interference in partial order models. ACM Transactions on Embedded Computing Systems. ACM Press, 2017. À paraître. 
@article{tecs-BHM,
  author =              {B{\'e}rard, B{\'e}atrice and H{\'e}lou{\"e}t,
                         Lo{\"\i}c and Mullins, John},
  title =               {Non-interference in partial order models},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Embedded Computing Systems},
  year =                {2017},
  note =                {To~appear},
}
Liste des auteurs