Title: Formal description techniques and protocol specification, testing, and verification
First published: 1998
Subjects: Congresses, Computer network protocols, Electronic data processing, Distributed processing, Formal methods (Computer science), Electronic data processing, distributed processing
LC classification: QA76.9.D5 I33845 1998