%0 Journal Article
%A Aceto, Luca
%A Ingólfsdóttir, Anna
%A Pedersen, Mikkel Lykke
%A Poulsen, Jan
%T Characteristic formulae for timed automata
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2000
%P 565-584
%V 34
%N 6
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_2000__34_6_565_0/
%G en
%F ITA_2000__34_6_565_0