Using CSP to detect errors in the TMN protocol

ग्रंथसूची विवरण
मुख्य लेखकों: Roscoe, A, Lowe, G
स्वरूप: Report
प्रकाशित: University of Leicester 1996

समान संसाधन