Title: Formal techniques for networked and distributed systems, FORTE 2005
First published: 2005
Subjects: Congresses, Computer network protocols, Electronic data processing, Formal methods (Computer science), Distributed processing, Electronic data processing, distributed processing