Undecidability of model-checking branching-time properties of stateless probabilistic pushdown process (Q6251671)
From MaRDI portal
scientific article; zbMATH DE number 900600338
Language | Label | Description | Also known as |
---|---|---|---|
English | Undecidability of model-checking branching-time properties of stateless probabilistic pushdown process |
scientific article; zbMATH DE number 900600338 |
Statements
19 May 2014
0 references
cs.LO
0 references
cs.FL
0 references
math.LO
0 references