@article{Tripakis:IPL:2006,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Tripakis, Stavros},
    File = {Folk theorems on the determinization and minimization of timed automata - Tripakis (0) (0) - a - a - l.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {timed automata},
    Month = {September},
    Number = {6},
    Pages = {222--226},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Folk theorems on the determinization and minimization of timed automata},
    URL = {http://dx.doi.org/10.1016/j.ipl.2006.04.015},
    Volume = {99},
    Year = {2006},
    acmid = {1161690},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2006.04.015},
    date-added = {2012-03-14 07:56:46 +0100},
    date-modified = {2019-10-01 11:55:36 +0200},
    issue_date = {30 September 2006},
    numpages = {5},
    doi = {10.1016/j.ipl.2006.04.015}
}

@article{Tripakis:IPL:2006, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Tripakis, Stavros}, File = {Folk theorems on the determinization and minimization of timed automata - Tripakis (0) (0) - a - a - l.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {timed automata}, Month = {September}, Number = {6}, Pages = {222--226}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Folk theorems on the determinization and minimization of timed automata}, URL = {http://dx.doi.org/10.1016/j.ipl.2006.04.015}, Volume = {99}, Year = {2006}, acmid = {1161690}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2006.04.015}, date-added = {2012-03-14 07:56:46 +0100}, date-modified = {2019-10-01 11:55:36 +0200}, issue_date = {30 September 2006}, numpages = {5}, doi = {10.1016/j.ipl.2006.04.015} }