@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/>
@inproceedings{cortier99decidable,
  address =       {Prague, Czech Republic},
  author =        {Cortier, V{\'e}ronique and Ganzinger, Harald and
                   Jacquemard, Florent and Veanes, Margus},
  booktitle =     {{P}roceedings of the 26th {I}nternational
                   {C}olloquium on {A}utomata, {L}anguages and
                   {P}rogramming ({ICALP}'99)},
  editor =        {Wiedermann, Jir{\'i} and van Emde Boas, Peter and
                   Nielsen, Mogens},
  month =         jul,
  pages =         {250-260},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Decidable Fragments of Simultaneous Rigid
                   Reachability},
  volume =        {1644},
  year =          {1999},
}