Validation of functional behavior specifications of distributed object frameworks
Dominique Sidou · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1997
These Ecole polytechnique federale de Lausanne EPFL, n° 1742 (1997)Section de systemes de communication Reference doi:10.5075/epfl-thesis-1742Print copy in library catalog Record created on 2005-03-16, modified on 2016-08-08