@article{Herrmann:1998:TAR:290439.290450,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Herrmann, Philippe},
    File = {Timed automata and recognizability - Herrmann (0) (0) - a - a - x.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {timed automata},
    Month = {March},
    Number = {6},
    Pages = {313--318},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Timed automata and recognizability},
    URL = {http://dx.doi.org/10.1016/S0020-0190(97)00217-2},
    Volume = {65},
    Year = {1998},
    acmid = {290450},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0020-0190(97)00217-2},
    date-added = {2012-11-28 16:49:57 +0000},
    date-modified = {2012-11-28 16:50:02 +0000},
    issue_date = {March 27, 1998},
    numpages = {6},
    doi = {10.1016/S0020-0190(97)00217-2}
}

@article{Herrmann:1998:TAR:290439.290450, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Herrmann, Philippe}, File = {Timed automata and recognizability - Herrmann (0) (0) - a - a - x.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {timed automata}, Month = {March}, Number = {6}, Pages = {313--318}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Timed automata and recognizability}, URL = {http://dx.doi.org/10.1016/S0020-0190(97)00217-2}, Volume = {65}, Year = {1998}, acmid = {290450}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0020-0190(97)00217-2}, date-added = {2012-11-28 16:49:57 +0000}, date-modified = {2012-11-28 16:50:02 +0000}, issue_date = {March 27, 1998}, numpages = {6}, doi = {10.1016/S0020-0190(97)00217-2} }