Squaring transducers: An efficient procedure for deciding functionality and sequentiality (bibtex)
by Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch
Reference:
Squaring transducers: An efficient procedure for deciding functionality and sequentiality (Marie-Pierre Béal, Olivier Carton, Christophe Prieur, 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},
}
Powered by bibtexbrowser