@article{RNTI/papers/1000902,
  author    = {Mohamed Messabihi and Pascal André and Christian Attiogbé},
  title     = {Preuve de cohérence de composants Kmelia à l'aide de la méthode B},
  journal = {Revue des Nouvelles Technologies de l'Information},
  volume = { 4e Conférence francophone sur les Architectures Logicielles , RNTI-L-5},
  year      = {2010},
  pages     = {105-117}
}