@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A