@inproceedings{7371934,
    Author = {Krishna, S. N. and Manasa, L. and Trivedi, A.},
    BookTitle = {2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)},
    ISSN = {1530-1311},
    Keywords = {automata theory;decidability;game theory;reachability analysis;decidability;dense-timed pushdown automata;pass-by-reference mechanism;pass-by-value mechanism;recursive hybrid automata;recursive timed automata model;state machines;two-player turn-based reachability games;Automata;Clocks;Concurrent computing;Context;Games;Mathematical model;Unified modeling language;Recursive Timed Automata Reachability Games Pushdown Automata Undecidability; timed pushdown automata},
    Month = {Sept},
    Pages = {150-159},
    Title = {Reachability Games on Recursive Hybrid Automata},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TIME.2015.27},
    date-added = {2017-06-28 13:12:05 +0000},
    date-modified = {2017-06-28 13:19:33 +0000},
    doi = {10.1109/TIME.2015.27}
}

@inproceedings{7371934, Author = {Krishna, S. N. and Manasa, L. and Trivedi, A.}, BookTitle = {2015 22nd International Symposium on Temporal Representation and Reasoning (TIME)}, ISSN = {1530-1311}, Keywords = {automata theory;decidability;game theory;reachability analysis;decidability;dense-timed pushdown automata;pass-by-reference mechanism;pass-by-value mechanism;recursive hybrid automata;recursive timed automata model;state machines;two-player turn-based reachability games;Automata;Clocks;Concurrent computing;Context;Games;Mathematical model;Unified modeling language;Recursive Timed Automata Reachability Games Pushdown Automata Undecidability; timed pushdown automata}, Month = {Sept}, Pages = {150-159}, Title = {Reachability Games on Recursive Hybrid Automata}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1109/TIME.2015.27}, date-added = {2017-06-28 13:12:05 +0000}, date-modified = {2017-06-28 13:19:33 +0000}, doi = {10.1109/TIME.2015.27} }