Squaring transducers: An efficient procedure for deciding functionality and sequentiality (bibtex)

by Marie-Pierre Béal, Olivier Carton, Christophe Prieur and Jacques Sakarovitch

Reference:

Squaring transducers: An efficient procedure for deciding functionality and sequentiality (Marie-Pierre Béal, Olivier Carton, Christophe Prieur and Jacques Sakarovitch), In LATIN'2000 (G. Gonnet, D. Panario, A. Viola, eds.), Springer, volume 1776, 2000.

Bibtex Entry:

@inproceedings{BealCartonPrieurSakarovitch00,
  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},
  booktitle =    {LATIN'2000},
  year =         2000,
  editor =	 {G. Gonnet and D. Panario and A. Viola},
  volume =	 1776,
  page =         {407--416},
  series =       {Lecture Notes in Comput. Sci.},
  PUBLISHER = {Springer},
}