Using CSP to detect errors in the TMN protocol

Détails bibliographiques
Auteurs principaux: Roscoe, A, Lowe, G
Format: Report
Publié: University of Leicester 1996