@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}
}

@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 badge