TY  - RPRT
TI  - Model-Checking of Ordered Multi-Pushdown Automata
AU  - Mohamed Faouzi Atig
PY  - 2012
DO  - 10.2168/lmcs-8(3:20)2012
UR  - https://arxiv.org/abs/1209.1916
ID  - 1209.1916
ER  -