Application of formal description techniques to the specification of distributed test systems.

Richard J. Linn Jr., Jean Philippe Favreau

Browse the full INFOCOM paper archive.