par Degorre, Aldric ;Asarin, Eugene
Référence Leibniz international proceedings in informatics
Publication A Paraître, 2010
Article révisé par les pairs
Titre:
  • Two size measures for timed languages
Auteur:Degorre, Aldric; Asarin, Eugene
Informations sur la publication:Leibniz international proceedings in informatics
Statut de publication:A Paraître, 2010
Sujet CREF:Informatique mathématique
Mots-clés:Entropy
Mean dimension
Timed automata
Note générale:Proceedings of FSTTCS 2010, 2010
SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.FSTTCS.2010.376
info:scp/80053296963