On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On bisimilarity for polyhedral models and \texttt{SLCS} |
scientific article; zbMATH DE number 7786546
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On bisimilarity for polyhedral models and \texttt{SLCS} |
scientific article; zbMATH DE number 7786546 |
Statements
On bisimilarity for polyhedral models and \texttt{SLCS} (English)
0 references
11 January 2024
0 references
bisimulation relations
0 references
spatial bisimilarity
0 references
spatial logics
0 references
logical equivalence
0 references
spatial model checking
0 references
polyhedral models
0 references
0 references
