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, Méthodes formelles (Informatique), Traitement réparti, Congrès, Protocoles de réseaux d'ordinateurs, Electronic data processing, distributed processing
LC classification: QA76.9.F67 I35 1999