Using CSP to detect errors in the TMN protocol

Bibliographic Details
Main Authors: Roscoe, A, Lowe, G
Format: Report
Published: University of Leicester 1996
Search Result 1