par Doyen, Laurent Cliquez pour télécharger la liste de publications de l'auteur; Markey, Nicolas N.; Shirmohammadi, Mahsa Liste de publications; 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 : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1868-8969 
info:doi/10.4230/LIPIcs.FSTTCS.2014.121