@inproceedings{MurawskiRamsayTzevelekos:MFCS2014,
    Author = {Murawski, Andrzej S. and Ramsay, Steven J. and Tzevelekos, Nikos},
    BookTitle = {Mathematical Foundations of Computer Science 2014},
    Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n},
    File = {Reachability in Pushdown Register Automata - Murawski, Ramsay, Tzevelekos (1) (0) - a - a - j.pdf},
    ISBN = {978-3-662-44521-1},
    Keywords = {readme},
    Language = {English},
    Pages = {464-473},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Reachability in Pushdown Register Automata},
    URL = {http://dx.doi.org/10.1007/978-3-662-44522-8\_39},
    Volume = {8634},
    Year = {2014},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44522-8\_39},
    date-added = {2014-09-15 11:48:35 +0000},
    date-modified = {2014-09-15 11:49:02 +0000},
    file-2 = {Reachability in Pushdown Register Automata - Murawski, Ramsay, Tzevelekos (2) (0) - a - a - j.pdf},
    file-3 = {Reachability in pushdown register automata - Murawski, Ramsay, Tzevelekos (0) (0) - a - a - j.pdf},
    doi = {10.1007/978-3-662-44522-8_39}
}

@inproceedings{MurawskiRamsayTzevelekos:MFCS2014, Author = {Murawski, Andrzej S. and Ramsay, Steven J. and Tzevelekos, Nikos}, BookTitle = {Mathematical Foundations of Computer Science 2014}, Editor = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dietzfelbinger, Martin and {\'E}sik, Zolt{\'a}n}, File = {Reachability in Pushdown Register Automata - Murawski, Ramsay, Tzevelekos (1) (0) - a - a - j.pdf}, ISBN = {978-3-662-44521-1}, Keywords = {readme}, Language = {English}, Pages = {464-473}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Reachability in Pushdown Register Automata}, URL = {http://dx.doi.org/10.1007/978-3-662-44522-8_39}, Volume = {8634}, Year = {2014}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-44522-8_39}, date-added = {2014-09-15 11:48:35 +0000}, date-modified = {2014-09-15 11:49:02 +0000}, file-2 = {Reachability in Pushdown Register Automata - Murawski, Ramsay, Tzevelekos (2) (0) - a - a - j.pdf}, file-3 = {Reachability in pushdown register automata - Murawski, Ramsay, Tzevelekos (0) (0) - a - a - j.pdf}, doi = {10.1007/978-3-662-44522-8_39} }