@InProceedings{CHL12concur, author = {Wojciech Czerwi{\'n}ski and Piotr Hofman and S{\l}awomir Lasota}, title = {Reachability problem for weak multi-pushdown automata}, booktitle = {Proc. CONCUR'12}, year = 2012, series = {LNCS}, volume = {7454}, pages = {53-68}, publisher = {Springer-Verlag} }