@incollection{weak:multipushdown:12,
Author = {Czerwi{\'n}ski, Wojciech and Hofman, Piotr and Lasota, S{\l}awomir},
BookTitle = {CONCUR 2012 -- Concurrency Theory},
Editor = {Koutny, Maciej and Ulidowski, Irek},
File = {Reachability Problem for Weak Multi-Pushdown Automata - Czerwiński, Hofman, Lasota (2) (0) - a - a - i.pdf},
ISBN = {978-3-642-32939-5},
Keywords = {multi-pushdown automata},
Pages = {53-68},
Publisher = {Springer Berlin Heidelberg},
Series = {Lecture Notes in Computer Science},
Title = {Reachability Problem for Weak Multi-Pushdown Automata},
URL = {http://dx.doi.org/10.1007/978-3-642-32940-1\_6},
Volume = {7454},
Year = {2012},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-32940-1\_6},
date-added = {2012-11-25 17:54:57 +0000},
date-modified = {2012-11-25 17:58:52 +0000},
file-2 = {Reachability Problem for Weak Multi-Pushdown Automata - Czerwiński, Hofman, Lasota (3) (0) - a - a - i.pdf},
file-3 = {Reachability Problem for Weak Multi-Pushdown Automata - Czerwiński, Hofman, Lasota (0) (1) - a - a - i.pdf},
doi = {10.1007/978-3-642-32940-1_6}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A