@article{Bozzelli:2009:DPL:1644391.1644396,
    Address = {Hingham, MA, USA},
    Author = {Bozzelli, Laura and La Torre, Salvatore},
    File = {Decision Problems for Lower-Upper Bound Parametric Timed Automata - Bozzelli, La Torre (0) (0) - a - a - c.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {Parametric real-time verification, Parametric timed automata, Synthesis of parameters, Timed temporal logics},
    Month = {October},
    Number = {2},
    Pages = {121--151},
    Publisher = {Kluwer Academic Publishers},
    Title = {Decision Problems for Lower/Upper Bound Parametric Timed Automata},
    URL = {http://dx.doi.org/10.1007/s10703-009-0074-0},
    Volume = {35},
    Year = {2009},
    acmid = {1644396},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-009-0074-0},
    date-added = {2016-08-17 13:33:27 +0000},
    date-modified = {2016-08-17 13:33:27 +0000},
    issue_date = {October 2009},
    numpages = {31},
    doi = {10.1007/s10703-009-0074-0}
}

@article{Bozzelli:2009:DPL:1644391.1644396, Address = {Hingham, MA, USA}, Author = {Bozzelli, Laura and La Torre, Salvatore}, File = {Decision Problems for Lower-Upper Bound Parametric Timed Automata - Bozzelli, La Torre (0) (0) - a - a - c.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {Parametric real-time verification, Parametric timed automata, Synthesis of parameters, Timed temporal logics}, Month = {October}, Number = {2}, Pages = {121--151}, Publisher = {Kluwer Academic Publishers}, Title = {Decision Problems for Lower/Upper Bound Parametric Timed Automata}, URL = {http://dx.doi.org/10.1007/s10703-009-0074-0}, Volume = {35}, Year = {2009}, acmid = {1644396}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10703-009-0074-0}, date-added = {2016-08-17 13:33:27 +0000}, date-modified = {2016-08-17 13:33:27 +0000}, issue_date = {October 2009}, numpages = {31}, doi = {10.1007/s10703-009-0074-0} }