@incollection{Maler:Pnueli:FOSSACS:04,
    Author = {Maler, Oded and Pnueli, Amir},
    BookTitle = {Proc. of FOSSACS'04},
    Editor = {Walukiewicz, Igor},
    File = {On Recognizable Timed Languages - Maler, Pnueli (0) (0) - a - a - q.pdf},
    ISBN = {978-3-540-21298-0},
    Keywords = {timed automata and minimization and Myhill-Nerode theorem},
    Pages = {348--362},
    Publisher = {Springer Berlin Heidelberg},
    Series = {LNCS},
    Title = {On Recognizable Timed Languages},
    URL = {http://dx.doi.org/10.1007/978-3-540-24727-2\_25},
    Volume = {2987},
    Year = {2004},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24727-2\_25},
    date-added = {2013-10-08 10:14:28 +0000},
    date-modified = {2020-01-06 15:27:07 +0100},
    doi = {10.1007/978-3-540-24727-2_25}
}

@incollection{Maler:Pnueli:FOSSACS:04, Author = {Maler, Oded and Pnueli, Amir}, BookTitle = {Proc. of FOSSACS'04}, Editor = {Walukiewicz, Igor}, File = {On Recognizable Timed Languages - Maler, Pnueli (0) (0) - a - a - q.pdf}, ISBN = {978-3-540-21298-0}, Keywords = {timed automata and minimization and Myhill-Nerode theorem}, Pages = {348--362}, Publisher = {Springer Berlin Heidelberg}, Series = {LNCS}, Title = {On Recognizable Timed Languages}, URL = {http://dx.doi.org/10.1007/978-3-540-24727-2_25}, Volume = {2987}, Year = {2004}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-24727-2_25}, date-added = {2013-10-08 10:14:28 +0000}, date-modified = {2020-01-06 15:27:07 +0100}, doi = {10.1007/978-3-540-24727-2_25} }