@inproceedings{Gruber:2005:TAD:2129973.2129997,
    Address = {Berlin, Heidelberg},
    Author = {Gruber, Hermann and Holzer, Markus and Kiehn, Astrid and K\"{o}nig, Barbara},
    BookTitle = {Proceedings of the 9th international conference on Developments in Language Theory},
    File = {On timed automata with discrete time - structural and language theoretical characterization - Gruber, Holzer, Kiehn, Konig (0) (0) - a - a - b.pdf},
    ISBN = {3-540-26546-5, 978-3-540-26546-7},
    Keywords = {timed automata},
    Location = {Palermo, Italy},
    Pages = {272--283},
    Publisher = {Springer-Verlag},
    Series = {DLT'05},
    Title = {On timed automata with discrete time - structural and language theoretical characterization},
    URL = {http://dx.doi.org/10.1007/11505877\_24},
    Year = {2005},
    acmid = {2129997},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11505877\_24},
    date-added = {2012-05-09 17:54:19 +0200},
    date-modified = {2012-05-18 09:26:33 +0000},
    numpages = {12},
    doi = {10.1007/11505877_24}
}

@inproceedings{Gruber:2005:TAD:2129973.2129997, Address = {Berlin, Heidelberg}, Author = {Gruber, Hermann and Holzer, Markus and Kiehn, Astrid and K\"{o}nig, Barbara}, BookTitle = {Proceedings of the 9th international conference on Developments in Language Theory}, File = {On timed automata with discrete time - structural and language theoretical characterization - Gruber, Holzer, Kiehn, Konig (0) (0) - a - a - b.pdf}, ISBN = {3-540-26546-5, 978-3-540-26546-7}, Keywords = {timed automata}, Location = {Palermo, Italy}, Pages = {272--283}, Publisher = {Springer-Verlag}, Series = {DLT'05}, Title = {On timed automata with discrete time - structural and language theoretical characterization}, URL = {http://dx.doi.org/10.1007/11505877_24}, Year = {2005}, acmid = {2129997}, bdsk-url-1 = {http://dx.doi.org/10.1007/11505877_24}, date-added = {2012-05-09 17:54:19 +0200}, date-modified = {2012-05-18 09:26:33 +0000}, numpages = {12}, doi = {10.1007/11505877_24} }