Using CSP to detect errors in the TMN protocol

Bibliografiska uppgifter
Huvudupphovsmän: Roscoe, A, Lowe, G
Materialtyp: Report
Publicerad: University of Leicester 1996
Search Result 1