Pages that link to "Item:Q2822664"
From MaRDI portal
The following pages link to Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664):
Displaying 9 items.
- Spatial logics with connectedness predicates (Q2786121) (← links)
- Specifying and Verifying Properties of Space (Q3190163) (← links)
- (Q4474211) (← links)
- (Q4553288) (← links)
- (Q5028457) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- Analysis of spatio-temporal properties of stochastic systems using TSTL (Q6600061) (← links)