Modelling and testing object-oriented communication services with temporal logic
Falk Dietrich · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2000
These Ecole polytechnique federale de Lausanne EPFL, n° 2141 (2000)Faculte informatique et communicationsInstitut de systemes de communicationLaboratoire pour les communications informatiques et leurs applications 1Jury: Pierre-Alain Etique, Thierry Labbe, Andre Schiper, Alain Wegmann Public defense: 2000-3-24 Reference doi:10.5075/epfl-thesis-2141Print copy in library catalog Record created on 2005-03-16, modified on 2017-05-12