Title: Formal methods for protocol engineering and distributed systems
First published: 1999
Subjects: Congresses, Computer network protocols, Electronic data processing, Formal methods (Computer science), Distributed processing
LC classification: QA76.9.F67 I35 1999