par Doyen, Laurent ;Markey, Nicolas N.;Shirmohammadi, Mahsa ;Juhl, Line;Larsen, Kim Guldstrand
Référence Leibniz international proceedings in informatics, 29, page (121-132)
Publication Publié, 2014-12
Article révisé par les pairs
Titre:
  • Synchronizing words for weighted and timed automata
Auteur:Doyen, Laurent; Markey, Nicolas N.; Shirmohammadi, Mahsa; Juhl, Line; Larsen, Kim Guldstrand
Informations sur la publication:Leibniz international proceedings in informatics, 29, page (121-132)
Statut de publication:Publié, 2014-12
Sujet CREF:Généralités
Mots-clés:Synchronizing words
Timed automata
Weighted automata
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1868-8969
info:doi/10.4230/LIPIcs.FSTTCS.2014.121
info:scp/84921450045