Title: Formal Techniques for Networked and Distributed Systems - FORTE 2004
Subjects: Geographic information systems