par Filiot, Emmanuel ;Mazzocchi, Nicolas ;Raskin, Jean-François
Référence International journal of foundations of computer science, 31, 6, page (711-748)
Publication Publié, 2020-01-01
Article révisé par les pairs
Titre:
  • A Pattern Logic for Automata with Outputs
Auteur:Filiot, Emmanuel; Mazzocchi, Nicolas; Raskin, Jean-François
Informations sur la publication:International journal of foundations of computer science, 31, 6, page (711-748)
Statut de publication:Publié, 2020-01-01
Sujet CREF:Sciences exactes et naturelles
Langue:Français
Identificateurs:urn:issn:0129-0541
info:doi/10.1142/S0129054120410038