@inproceedings{AlurHenzinger:TwoWay:1992,
    Address = {Washington, DC, USA},
    Author = {Alur, R. and Henzinger, T. A.},
    BookTitle = {Proc. of FOCS'02},
    File = {Back to the future towards a theory of timed regular languages - Alur, Henzinger (0) (0) - a - a - u.pdf},
    ISBN = {0-8186-2900-2},
    Keywords = {timed automata and two-way automata},
    Pages = {177--186},
    Publisher = {IEEE Computer Society},
    Series = {SFCS '92},
    Title = {Back to the future: towards a theory of timed regular languages},
    URL = {http://dx.doi.org/10.1109/SFCS.1992.267774},
    Year = {1992},
    acmid = {1398859},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1992.267774},
    date-added = {2012-07-07 10:06:54 +0200},
    date-modified = {2014-10-27 16:28:23 +0000},
    file-2 = {Back to the future towards a theory of timed regular languages - Alur, Henzinger (1) (0) - a - a - u.pdf},
    numpages = {10},
    doi = {10.1109/SFCS.1992.267774}
}

@inproceedings{AlurHenzinger:TwoWay:1992, Address = {Washington, DC, USA}, Author = {Alur, R. and Henzinger, T. A.}, BookTitle = {Proc. of FOCS'02}, File = {Back to the future towards a theory of timed regular languages - Alur, Henzinger (0) (0) - a - a - u.pdf}, ISBN = {0-8186-2900-2}, Keywords = {timed automata and two-way automata}, Pages = {177--186}, Publisher = {IEEE Computer Society}, Series = {SFCS '92}, Title = {Back to the future: towards a theory of timed regular languages}, URL = {http://dx.doi.org/10.1109/SFCS.1992.267774}, Year = {1992}, acmid = {1398859}, bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1992.267774}, date-added = {2012-07-07 10:06:54 +0200}, date-modified = {2014-10-27 16:28:23 +0000}, file-2 = {Back to the future towards a theory of timed regular languages - Alur, Henzinger (1) (0) - a - a - u.pdf}, numpages = {10}, doi = {10.1109/SFCS.1992.267774} }