The complexity of model checking multi-stack systems (Q2398213)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The complexity of model checking multi-stack systems |
scientific article |
Statements
The complexity of model checking multi-stack systems (English)
0 references
15 August 2017
0 references
multi-stack systems
0 references
temporal logics
0 references
model checking
0 references
multiply nested words
0 references