Formal Techniques for Networked and Distributed Systems - FORTE 2005
Subtitle: 25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
Number of pages: 558
ISBN-13: 9783540320845