Detail

Publication date: 01/02/2008

Dynamic Spatial Logics: A Tutorial Survey

Authors

Luis Caires,

Journal Bulletin of the European Association for Theoretical Computer Science
Publisher Universitat Politècnica de Catalunya
Number 94
Journal Bulletin of the European Association for Theoretical Computer Science
Publisher Universitat Politècnica de Catalunya
Number 94