@inproceedings{ClementeLasota:LICS:2015,
    Author = {Clemente, Lorenzo and Lasota, Slawomir},
    BookTitle = {Proc. of LICS'15},
    File = {Timed Pushdown Automata Revisited - Clemente, Lasota (0) (1) - a - a - m.pdf},
    ISSN = {1043-6871},
    Keywords = {Turing machines;computational complexity;pushdown automata;NEXPTIME upper complexity bound;PDA;Turing complete;pushdown automata;timed extension;Atomic clocks;Automata;Complexity theory;Handheld computers;Orbits;Registers;orbit-finite;pushdown automata;sets with atoms;timed automata},
    Month = {July},
    Pages = {738--749},
    Publisher = {IEEE},
    Title = {Timed Pushdown Automata Revisited},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.73},
    date-added = {2016-01-18 12:59:43 +0000},
    date-modified = {2016-03-24 14:06:34 +0000},
    doi = {10.1109/LICS.2015.73}
}

@inproceedings{ClementeLasota:LICS:2015, Author = {Clemente, Lorenzo and Lasota, Slawomir}, BookTitle = {Proc. of LICS'15}, File = {Timed Pushdown Automata Revisited - Clemente, Lasota (0) (1) - a - a - m.pdf}, ISSN = {1043-6871}, Keywords = {Turing machines;computational complexity;pushdown automata;NEXPTIME upper complexity bound;PDA;Turing complete;pushdown automata;timed extension;Atomic clocks;Automata;Complexity theory;Handheld computers;Orbits;Registers;orbit-finite;pushdown automata;sets with atoms;timed automata}, Month = {July}, Pages = {738--749}, Publisher = {IEEE}, Title = {Timed Pushdown Automata Revisited}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2015.73}, date-added = {2016-01-18 12:59:43 +0000}, date-modified = {2016-03-24 14:06:34 +0000}, doi = {10.1109/LICS.2015.73} }