Model-Checking of Ordered Multi-Pushdown Automata
From MaRDI portal
Publication:2914241
DOI10.2168/LMCS-8(3:20)2012zbMath1279.68206OpenAlexW2092618327MaRDI QIDQ2914241
Publication date: 25 September 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-8(3:20)2012
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Revisiting Underapproximate Reachability for Multipushdown Systems ⋮ Ordered multi-stack visibly pushdown automata ⋮ The complexity of model checking multi-stack systems ⋮ On the path-width of integer linear programming ⋮ A Perfect Class of Context-Sensitive Timed Languages ⋮ Data Multi-Pushdown Automata ⋮ Unnamed Item
This page was built for publication: Model-Checking of Ordered Multi-Pushdown Automata
