Volltext verfügbar nach Anmeldung bzw. im Campus-Netz.
Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq
In: Mathematics, Jg. 11 (2023-02-01), Heft 5
Online
academicJournal
Zugriff:
Titel: |
Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq
|
---|---|
Autor/in / Beteiligte Person: | Yan, Sheng ; Yu, Wensheng |
Link: | |
Zeitschrift: | Mathematics, Jg. 11 (2023-02-01), Heft 5 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 2227-7390 (print) |
DOI: | 10.3390/math11051079 |
Sonstiges: |
|