Véronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes. Decidable fragments of simultaneous rigid reachability.
International Colloquium on Automata, Languages, & Programming - ICALP'99, Jul 1999, Prague, Czech Republic, pp.250-260.
⟨inria-00098806⟩