@inproceedings{10.1007/3-540-60246-1_158,
    Abstract = {In this paper, we define a timed logic Lvwhich is sufficiently expressive that we for any timed automaton may construct a single characteristic Lvformula uniquely characterizing the automaton up to timed bisimilarity.},
    Address = {Berlin, Heidelberg},
    Author = {Laroussinie, Fran{\c{c}}ois and Larsen, Kim G. and Weise, Carsten},
    BookTitle = {Mathematical Foundations of Computer Science 1995},
    Editor = {Wiedermann, Ji{\v{r}}{\'\i} and H{\'a}jek, Petr},
    File = {From Timed Automata to Logic -- and Back \_ - laroussinie1995 - a - m.pdf},
    ISBN = {978-3-540-44768-9},
    Pages = {529--539},
    Publisher = {Springer Berlin Heidelberg},
    Title = {From timed automata to logic --- and back},
    Year = {1995},
    date-added = {2020-04-17 11:51:33 +0200},
    date-modified = {2020-04-17 11:51:33 +0200},
    doi = {10.1007/3-540-60246-1_158}
}

@inproceedings{10.1007/3-540-60246-1_158, Abstract = {In this paper, we define a timed logic Lvwhich is sufficiently expressive that we for any timed automaton may construct a single characteristic Lvformula uniquely characterizing the automaton up to timed bisimilarity.}, Address = {Berlin, Heidelberg}, Author = {Laroussinie, Fran{\c{c}}ois and Larsen, Kim G. and Weise, Carsten}, BookTitle = {Mathematical Foundations of Computer Science 1995}, Editor = {Wiedermann, Ji{\v{r}}{\'\i} and H{\'a}jek, Petr}, File = {From Timed Automata to Logic -- and Back _ - laroussinie1995 - a - m.pdf}, ISBN = {978-3-540-44768-9}, Pages = {529--539}, Publisher = {Springer Berlin Heidelberg}, Title = {From timed automata to logic --- and back}, Year = {1995}, date-added = {2020-04-17 11:51:33 +0200}, date-modified = {2020-04-17 11:51:33 +0200}, doi = {10.1007/3-540-60246-1_158} }