Using CSP to detect errors in the TMN protocol

Bibliografische gegevens
Hoofdauteurs: Roscoe, A, Lowe, G
Formaat: Report
Gepubliceerd in: University of Leicester 1996