Formal Techniques for Networked and Distributed Systems - FORTE 2007
Subtitle: 27th IFIP WG 6. 1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540731962
Subjects: System design; Electronic data processing, distributed processing; Computer network protocols