Using CSP to detect errors in the TMN protocol

Detalhes bibliográficos
Main Authors: Roscoe, A, Lowe, G
Formato: Report
Publicado em: University of Leicester 1996