Using CSP to detect errors in the TMN protocol

Bibliografske podrobnosti
Main Authors: Roscoe, A, Lowe, G
Format: Report
Izdano: University of Leicester 1996
Search Result 1