DBLP Record 'journals/tcs/BealCPS03'

BibTeX

@article{DBLP:journals/tcs/BealCPS03,
  author    = {Marie-Pierre B{\'e}al and
               Olivier Carton and
               Christophe Prieur and
               Jacques Sakarovitch},
  title     = {Squaring transducers: an efficient procedure for deciding
               functionality and sequentiality},
  journal   = {Theor. Comput. Sci.},
  volume    = {292},
  number    = {1},
  year      = {2003},
  pages     = {45-63},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}