@inproceedings{KrishnaManasaTrivedi:HSCC:2015,
    Address = {New York, NY, USA},
    Author = {Krishna, Shankara Narayanan and Manasa, Lakshmi and Trivedi, Ashutosh},
    BookTitle = {Proc. of HSCC'15},
    File = {p31-krishna (0) - a - a - w.pdf},
    ISBN = {978-1-4503-3433-4},
    Keywords = {timed pushdown automata and readme},
    Location = {Seattle, Washington},
    Pages = {31--40},
    Publisher = {ACM},
    Series = {HSCC '15},
    Title = {What's Decidable About Recursive Hybrid Automata?},
    URL = {http://doi.acm.org/10.1145/2728606.2728624},
    Year = {2015},
    acmid = {2728624},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2728606.2728624},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2728606.2728624},
    date-added = {2015-09-12 17:26:51 +0000},
    date-modified = {2019-08-16 16:37:20 +0200},
    numpages = {10},
    doi = {10.1145/2728606.2728624}
}

@inproceedings{KrishnaManasaTrivedi:HSCC:2015, Address = {New York, NY, USA}, Author = {Krishna, Shankara Narayanan and Manasa, Lakshmi and Trivedi, Ashutosh}, BookTitle = {Proc. of HSCC'15}, File = {p31-krishna (0) - a - a - w.pdf}, ISBN = {978-1-4503-3433-4}, Keywords = {timed pushdown automata and readme}, Location = {Seattle, Washington}, Pages = {31--40}, Publisher = {ACM}, Series = {HSCC '15}, Title = {What's Decidable About Recursive Hybrid Automata?}, URL = {http://doi.acm.org/10.1145/2728606.2728624}, Year = {2015}, acmid = {2728624}, bdsk-url-1 = {http://doi.acm.org/10.1145/2728606.2728624}, bdsk-url-2 = {http://dx.doi.org/10.1145/2728606.2728624}, date-added = {2015-09-12 17:26:51 +0000}, date-modified = {2019-08-16 16:37:20 +0200}, numpages = {10}, doi = {10.1145/2728606.2728624} }