@inproceedings{AbdullaAtigStenman:DensePDA:12,
    Author = {Abdulla, P. A. and Atig, M. F. and Stenman, J.},
    BookTitle = {Proc. of LICS'12},
    File = {Dense-Timed Pushdown Automata - Abdulla, Atig, Stenman (0) (0) - a - a - p.pdf},
    ISSN = {1043-6871},
    Keywords = {timed automata and pushdown automata},
    Month = {june},
    Pages = {35--44},
    Title = {Dense-Timed Pushdown Automata},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2012.15},
    date-added = {2012-09-20 15:14:24 +0200},
    date-modified = {2014-10-16 14:35:29 +0000},
    doi = {10.1109/LICS.2012.15}
}

@inproceedings{AbdullaAtigStenman:DensePDA:12, Author = {Abdulla, P. A. and Atig, M. F. and Stenman, J.}, BookTitle = {Proc. of LICS'12}, File = {Dense-Timed Pushdown Automata - Abdulla, Atig, Stenman (0) (0) - a - a - p.pdf}, ISSN = {1043-6871}, Keywords = {timed automata and pushdown automata}, Month = {june}, Pages = {35--44}, Title = {Dense-Timed Pushdown Automata}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2012.15}, date-added = {2012-09-20 15:14:24 +0200}, date-modified = {2014-10-16 14:35:29 +0000}, doi = {10.1109/LICS.2012.15} }