Richard J. Linn Jr., Jean Philippe Favreau. Application of formal description techniques to the specification of distributed test systems. In Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?, INFOCOM 1988, New Orleans, LA, USA. pages 96-109, IEEE, 1988. [doi]
Abstract is missing.