@article{BACrardDufourd,
    Author = {B{\'e}rard, B{\'e}atrice and Dufourd, Catherine},
    Date = {2000/7/31/},
    File = {Timed automata and additive clock constraints - Bérard, Dufourd (0) (0) - a - a - q.pdf},
    ISBN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {Real-time systems; Timed automata; Decidability of emptiness},
    Month = {7},
    Number = {1{\^a}€``2},
    Pages = {1--7},
    Title = {Timed automata and additive clock constraints},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020019000000752},
    Volume = {75},
    Year = {2000},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019000000752},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0020-0190(00)00075-2},
    date-added = {2014-10-03 10:46:24 +0000},
    date-modified = {2014-10-03 10:46:36 +0000},
    day = {31},
    ty = {JOUR},
    doi = {10.1016/S0020-0190(00)00075-2}
}

@article{BACrardDufourd, Author = {B{\'e}rard, B{\'e}atrice and Dufourd, Catherine}, Date = {2000/7/31/}, File = {Timed automata and additive clock constraints - Bérard, Dufourd (0) (0) - a - a - q.pdf}, ISBN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {Real-time systems; Timed automata; Decidability of emptiness}, Month = {7}, Number = {1{\^a}€``2}, Pages = {1--7}, Title = {Timed automata and additive clock constraints}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019000000752}, Volume = {75}, Year = {2000}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019000000752}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0020-0190(00)00075-2}, date-added = {2014-10-03 10:46:24 +0000}, date-modified = {2014-10-03 10:46:36 +0000}, day = {31}, ty = {JOUR}, doi = {10.1016/S0020-0190(00)00075-2} }