Title: Design and validation of computer protocols
First published: 1991
Description: How to design communication protocols using the Promela language and check them with the Spin model checker.
Subjects: Computer network protocols, Computer networks, Design, Computer engineering, Protocoles de réseaux d'ordinateurs
LC classification: TK5105.5 .H645 1991