@phdthesis{EURECOM+903,
  author = {Mazziotta, Sandro},
  title = {Spécification et génération de tests du comportement dynamique des systèmes à objets répartis},
  year = {1997},
  note = {© Université de Nice. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :},
}