@inproceedings{BenerecettiMinopoliPeron:RTA:2010,
    Author = {Benerecetti, M. and Minopoli, S. and Peron, A.},
    BookTitle = {Proc. of TIME'10},
    File = {Analysis of Timed Recursive State Machines - Benerecetti, Minopoli, Peron (0) (0) - a - a - u.pdf},
    ISSN = {1530-1311},
    Keywords = {timed automata and pushdown automata and readme},
    Month = {sept.},
    Pages = {61--68},
    Title = {Analysis of Timed Recursive State Machines},
    Year = {2010},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TIME.2010.10},
    date-added = {2012-06-30 12:10:02 +0200},
    date-modified = {2014-10-16 14:40:38 +0000},
    file-2 = {Analysis of Timed Recursive State Machines - Benerecetti, Minopoli, Peron (1) (0) - a - a - u.pdf},
    doi = {10.1109/TIME.2010.10}
}

@inproceedings{BenerecettiMinopoliPeron:RTA:2010, Author = {Benerecetti, M. and Minopoli, S. and Peron, A.}, BookTitle = {Proc. of TIME'10}, File = {Analysis of Timed Recursive State Machines - Benerecetti, Minopoli, Peron (0) (0) - a - a - u.pdf}, ISSN = {1530-1311}, Keywords = {timed automata and pushdown automata and readme}, Month = {sept.}, Pages = {61--68}, Title = {Analysis of Timed Recursive State Machines}, Year = {2010}, bdsk-url-1 = {http://dx.doi.org/10.1109/TIME.2010.10}, date-added = {2012-06-30 12:10:02 +0200}, date-modified = {2014-10-16 14:40:38 +0000}, file-2 = {Analysis of Timed Recursive State Machines - Benerecetti, Minopoli, Peron (1) (0) - a - a - u.pdf}, doi = {10.1109/TIME.2010.10} }