@article{BenerecettiPeron:TCS:2016,
    Author = {Benerecetti, Massimo and Peron, Adriano},
    File = {1-s2.0-S0304397516001432-main (0) - a - a - i.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Formal languages, Formal models of computing, Timed automata, Real-time systems, Pushdown systems, Recursive state machines, timed pushdown automata},
    Pages = {85 - 124},
    Title = {Timed recursive state machines: Expressiveness and complexity},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397516001432},
    Volume = {625},
    Year = {2016},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397516001432},
    bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2016.02.021},
    date-added = {2018-05-30 11:42:42 +0000},
    date-modified = {2019-04-20 19:42:33 +0200},
    doi = {10.1016/j.tcs.2016.02.021}
}

@article{BenerecettiPeron:TCS:2016, Author = {Benerecetti, Massimo and Peron, Adriano}, File = {1-s2.0-S0304397516001432-main (0) - a - a - i.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Formal languages, Formal models of computing, Timed automata, Real-time systems, Pushdown systems, Recursive state machines, timed pushdown automata}, Pages = {85 - 124}, Title = {Timed recursive state machines: Expressiveness and complexity}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397516001432}, Volume = {625}, Year = {2016}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397516001432}, bdsk-url-2 = {https://doi.org/10.1016/j.tcs.2016.02.021}, date-added = {2018-05-30 11:42:42 +0000}, date-modified = {2019-04-20 19:42:33 +0200}, doi = {10.1016/j.tcs.2016.02.021} }