Formal Techniques for Networked and Distributed Systems - FORTE 2006
Subtitle: 26th IFIP WG 6. 1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540462200
Subjects: Electronic data processing, distributed processing; Computer network protocols