Using CSP to detect errors in the TMN protocol

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Roscoe, A, Lowe, G
Μορφή: Report
Έκδοση: University of Leicester 1996
Search Result 1