Formal Techniques for Networked and Distributed Systems - FORTE 2002
Subtitle: 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540361350