Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes. Decidable Fragments of Simultaneous Rigid Reachability. In Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen, editors, Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings. Volume 1644 of Lecture Notes in Computer Science, pages 250-260, Springer, 1999. [doi]
Abstract is missing.