Using CSP to Detect Errors in the TMN Protocol

Bibliographic Details
Main Authors: Lowe, G, Roscoe, A
Format: Journal article
Published: 1997