@phdthesis{EURECOM+902,
  author = {Sidou, Dominique},
  title = {Validation of functional behavior specifications of distributed object frameworks},
  year = {1997},
  note = {© EPFL. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at : http://dx.doi.org/10.5075/epfl-thesis-1742},
}