Publication
Detail
Publication date: 01/02/2008Dynamic Spatial Logics: A Tutorial Survey
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 |