O
[OW03] Joël Ouaknine et James Worrell. Revisiting Digitization, Robustness, and Decidability for Timed Automata. In LICS'03, pages 198-207. IEEE Comp. Soc. Press, juin 2003. 
@inproceedings{lics2003-OW,
  author =              {Ouaknine, Jo{\"e}l and Worrell, James},
  title =               {Revisiting Digitization, Robustness, and
                         Decidability for Timed Automata},
  booktitle =           {{P}roceedings of the 18th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'03)},
  acronym =             {{LICS}'03},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {198-207},
  year =                {2003},
  month =               jun,
}
Liste des auteurs