@article{Yannakakis:1997:EAM:262365.262367,
    Address = {Hingham, MA, USA},
    Author = {Yannakakis, Mihalis and Lee, David},
    File = {An Efficient Algorithm for Minimizing Real-Time Transition Systems - Yannakakis, Lee (0) (0) - a - a - o.pdf},
    ISSN = {0925-9856},
    Journal = {Form. Methods Syst. Des.},
    Keywords = {timed automata and minimization},
    Month = {August},
    Number = {2},
    Pages = {113--136},
    Publisher = {Kluwer Academic Publishers},
    Title = {An Efficient Algorithm for Minimizing Real-Time Transition Systems},
    URL = {http://dx.doi.org/10.1023/A:1008621829508},
    Volume = {11},
    Year = {1997},
    acmid = {262367},
    bdsk-url-1 = {http://dx.doi.org/10.1023/A:1008621829508},
    date-added = {2012-07-07 09:56:53 +0200},
    date-modified = {2012-07-07 07:57:05 +0000},
    file-2 = {An Efficient Algorithm for Minimizing Real-Time Transition Systems - Yannakakis, Lee (1) (0) - a - a - o.pdf},
    issue_date = {Aug. 1997},
    numpages = {24},
    doi = {10.1023/A:1008621829508}
}

@article{Yannakakis:1997:EAM:262365.262367, Address = {Hingham, MA, USA}, Author = {Yannakakis, Mihalis and Lee, David}, File = {An Efficient Algorithm for Minimizing Real-Time Transition Systems - Yannakakis, Lee (0) (0) - a - a - o.pdf}, ISSN = {0925-9856}, Journal = {Form. Methods Syst. Des.}, Keywords = {timed automata and minimization}, Month = {August}, Number = {2}, Pages = {113--136}, Publisher = {Kluwer Academic Publishers}, Title = {An Efficient Algorithm for Minimizing Real-Time Transition Systems}, URL = {http://dx.doi.org/10.1023/A:1008621829508}, Volume = {11}, Year = {1997}, acmid = {262367}, bdsk-url-1 = {http://dx.doi.org/10.1023/A:1008621829508}, date-added = {2012-07-07 09:56:53 +0200}, date-modified = {2012-07-07 07:57:05 +0000}, file-2 = {An Efficient Algorithm for Minimizing Real-Time Transition Systems - Yannakakis, Lee (1) (0) - a - a - o.pdf}, issue_date = {Aug. 1997}, numpages = {24}, doi = {10.1023/A:1008621829508} }