Channel Synthesis for Finite Transducers - Archive ouverte HAL
Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2012

Channel Synthesis for Finite Transducers

Gilles Benattar
  • Fonction : Auteur
  • PersonId : 867959
Institut de Recherche en Communications et en Cybernétique de Nantes
Béatrice Bérard
Modélisation et Vérification
Didier Lime
Institut de Recherche en Communications et en Cybernétique de Nantes
John Mullins
  • Fonction : Auteur
École Polytechnique de Montréal
Olivier Henri Roux
Mathieu Sassolas
  • Fonction : Auteur
  • PersonId : 867960
Modélisation et Vérification

Résumé

no abstract

Domaines

Informatique [cs]

Mathieu Sassolas  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01161869

Soumis le : mardi 9 juin 2015-11:57:12

Dernière modification le : vendredi 5 janvier 2024-03:23:00

Fichier non déposé

Dates et versions

hal-01161869 , version 1 (09-06-2015)

Identifiants

  • HAL Id : hal-01161869 , version 1

Citer

Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux, et al.. Channel Synthesis for Finite Transducers. International Journal of Foundations of Computer Science, 2012, 23 (6), pp.1241--1260. ⟨hal-01161869⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES UPMC CNRS EC-NANTES IRCCYN UNAM LIP6 LS2N SORBONNE-UNIVERSITE SU-SCIENCES NANTES-UNIVERSITE
209 Consultations
0 Téléchargements

Partager

More