Formal Techniques for Networked and Distributed Systems - FORTE 2004
Subtitle: 24th IFIP WG 6. 1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540302322
Subjects: Geographic information systems