Title: Formal description techniques and protocol specification, testing and verification
First published: 1997
Subjects: Congresses, Computer network protocols, Formal languages, Electronic data processing, Distributed processing, Computer science, Computer networks