@article{Alur:1996:BRP:227595.227602,
    Address = {New York, NY, USA},
    Author = {Alur, Rajeev and Feder, Tom\'{a}s and Henzinger, Thomas A.},
    File = {The benefits of relaxing punctuality - Alur, Feder, Henzinger (0) (0) - a - a - i.pdf},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {model checking and timed automata},
    Month = {January},
    Number = {1},
    Pages = {116--146},
    Publisher = {ACM},
    Title = {The benefits of relaxing punctuality},
    URL = {http://doi.acm.org/10.1145/227595.227602},
    Volume = {43},
    Year = {1996},
    acmid = {227602},
    bdsk-url-1 = {http://doi.acm.org/10.1145/227595.227602},
    bdsk-url-2 = {http://dx.doi.org/10.1145/227595.227602},
    date-added = {2012-07-07 10:03:06 +0200},
    date-modified = {2012-07-07 08:03:13 +0000},
    file-2 = {The benefits of relaxing punctuality - Alur, Feder, Henzinger (1) (0) - a - a - i.pdf},
    file-3 = {The benefits of relaxing punctuality - Alur, Feder, Henzinger (2) (0) - a - a - i.pdf},
    issue_date = {Jan. 1996},
    numpages = {31},
    doi = {10.1145/227595.227602}
}

@article{Alur:1996:BRP:227595.227602, Address = {New York, NY, USA}, Author = {Alur, Rajeev and Feder, Tom\'{a}s and Henzinger, Thomas A.}, File = {The benefits of relaxing punctuality - Alur, Feder, Henzinger (0) (0) - a - a - i.pdf}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {model checking and timed automata}, Month = {January}, Number = {1}, Pages = {116--146}, Publisher = {ACM}, Title = {The benefits of relaxing punctuality}, URL = {http://doi.acm.org/10.1145/227595.227602}, Volume = {43}, Year = {1996}, acmid = {227602}, bdsk-url-1 = {http://doi.acm.org/10.1145/227595.227602}, bdsk-url-2 = {http://dx.doi.org/10.1145/227595.227602}, date-added = {2012-07-07 10:03:06 +0200}, date-modified = {2012-07-07 08:03:13 +0000}, file-2 = {The benefits of relaxing punctuality - Alur, Feder, Henzinger (1) (0) - a - a - i.pdf}, file-3 = {The benefits of relaxing punctuality - Alur, Feder, Henzinger (2) (0) - a - a - i.pdf}, issue_date = {Jan. 1996}, numpages = {31}, doi = {10.1145/227595.227602} }