Sven Linker

Sven Linker

System Verification Engineer @ Kernkonzept GmbH
Cited by 357
spatial logic diagrammatic reasoning visual reasoning process algebra temporal logic
Heshan Du

Heshan Du

University of Nottingham Ningbo China
Verified email at nottingham.edu.cn
Cited by 346
Spatial Logic Description Logic Geospatial Information Systems Ontologies
Andreas Schaefer

Andreas Schaefer

University of Applied Sciences Luebeck
Verified email at th-luebeck.de
Cited by 101
Real Time Systems Formal Methods Spatial Logic