@inproceedings{Dima:Reach:TA:LICS02,
    Author = {Dima, C.},
    BookTitle = {Proc. of LICS'02},
    File = {lics02 (0) - a - a - v.pdf},
    ISSN = {1043-6871},
    Keywords = {finite automata;reachability analysis;algorithmic calculus;finite automata;reachability;real-time systems;reflexive-transitive closure;timed automata;Arithmetic;Automata;Calculus;Clocks;Matrix decomposition;Real time systems;Time measurement},
    Pages = {177--186},
    Title = {Computing reachability relations in timed automata},
    Year = {2002},
    bdsk-url-1 = {https://dx.doi.org/10.1109/LICS.2002.1029827},
    date-added = {2017-12-29 10:06:54 +0000},
    date-modified = {2017-12-29 10:07:20 +0000},
    doi = {10.1109/LICS.2002.1029827}
}

@inproceedings{Dima:Reach:TA:LICS02, Author = {Dima, C.}, BookTitle = {Proc. of LICS'02}, File = {lics02 (0) - a - a - v.pdf}, ISSN = {1043-6871}, Keywords = {finite automata;reachability analysis;algorithmic calculus;finite automata;reachability;real-time systems;reflexive-transitive closure;timed automata;Arithmetic;Automata;Calculus;Clocks;Matrix decomposition;Real time systems;Time measurement}, Pages = {177--186}, Title = {Computing reachability relations in timed automata}, Year = {2002}, bdsk-url-1 = {https://dx.doi.org/10.1109/LICS.2002.1029827}, date-added = {2017-12-29 10:06:54 +0000}, date-modified = {2017-12-29 10:07:20 +0000}, doi = {10.1109/LICS.2002.1029827} }