Decidable Fragments of Simultaneous Rigid Reachability

Decidable Fragments of Simultaneous Rigid Reachability. Véronique Cortier, Harald Ganzinger, Florent Jacquemard, and Margus Veanes. In Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP'99), pp. 250–260, Lecture Notes in Computer Science 1644, Springer, Prague, Czech Republic, July 1999.

Download

[PDF] [PS] 

Abstract

(unavailable)

BibTeX

@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},
}