Formal Techniques for Networked and Distributed Systems - FORTE 2008
Subtitle: 28th IFIP WG 6. 1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Publisher: Springer London, Limited
Published: 2008
Language: eng
Number of pages: 344
ISBN-13: 9783540688556