@article{LanotteMaggioloTroina:AI:2010,
    Author = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea and Troina, Angelo},
    File = {Reachability results for timed automata with unbounded data structures - Lanotte, Maggiolo-Schettini, Troina (0) (0) - a - a - c.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Language = {English},
    Number = {5-6},
    Pages = {279--311},
    Publisher = {Springer-Verlag},
    Title = {Reachability results for timed automata with unbounded data structures},
    URL = {http://dx.doi.org/10.1007/s00236-010-0121-8},
    Volume = {47},
    Year = {2010},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-010-0121-8},
    date-added = {2015-01-08 10:46:42 +0000},
    date-modified = {2018-03-13 08:50:17 +0000},
    doi = {10.1007/s00236-010-0121-8}
}

@article{LanotteMaggioloTroina:AI:2010, Author = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea and Troina, Angelo}, File = {Reachability results for timed automata with unbounded data structures - Lanotte, Maggiolo-Schettini, Troina (0) (0) - a - a - c.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Language = {English}, Number = {5-6}, Pages = {279--311}, Publisher = {Springer-Verlag}, Title = {Reachability results for timed automata with unbounded data structures}, URL = {http://dx.doi.org/10.1007/s00236-010-0121-8}, Volume = {47}, Year = {2010}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-010-0121-8}, date-added = {2015-01-08 10:46:42 +0000}, date-modified = {2018-03-13 08:50:17 +0000}, doi = {10.1007/s00236-010-0121-8} }