Normal view
MARC view
Computer network protocols Design. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: Holzmann, Gerard J. 5529, Design and validation of computer protocols /, c1991.