PUBLICATION: Validation of functional behavior specifications of distributed object frameworks
© 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