@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@article{CortierRegister,
  author =        {Cortier, V{\'e}ronique},
  journal =       {Theoretical Informatics and Applications},
  month =         {Oct. - Dec.},
  number =        {4},
  pages =         {341-358},
  title =         {About the Decision of Reachability for Register
                   Machines},
  volume =        {36},
  year =          {2002},
}