Pages that link to "Item:Q2974786"
From MaRDI portal
The following pages link to Model Checking Spatial Logics for Closure Spaces (Q2974786):
Displaying 7 items.
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- (Q4553288) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Analysing Spatial Properties on Neighbourhood Spaces (Q5089239) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467) (← links)