Formal Techniques for Networked and Distributed Systems - FORTE 2003
Subtitle: 23rd IFIP WG 6. 1 International Conference, Berlin, Germany, September 29 -- October 2 2003
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540399797