Pages that link to "Item:Q3190163"
From MaRDI portal
The following pages link to Specifying and Verifying Properties of Space (Q3190163):
Displaying 10 items.
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- (Q3794698) (← links)
- (Q4553288) (← links)
- (Q5028457) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Conditional Bigraphs (Q5100722) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)
- Analysis of spatio-temporal properties of stochastic systems using TSTL (Q6600061) (← links)