Developing and verifying protocols in CSP

ग्रंथसूची विवरण
मुख्य लेखक: Roscoe, A
स्वरूप: Conference item
प्रकाशित: TU Eindhoven 1993