Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Sven Linker
System Verification Engineer @ Kernkonzept GmbH
Cited by 357
spatial logic
diagrammatic reasoning
visual reasoning
process algebra
temporal logic
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
University of Applied Sciences Luebeck
Verified email at th-luebeck.de
Cited by 101
Real Time Systems
Formal Methods
Spatial Logic
Privacy
Terms
Help
About Scholar
Search help