Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

Publications Master Template, generated: 21:50, 24 August 2019

Search the publication database

  . Return

Your search returned the following document:

  1. V. Cortier, Harald Ganzinger, Florent Jacquemard, and Margus Veanes
    Decidable fragments of simultaneous rigid reachability
    In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), Prague, Czech Republik, July 11-15, 1999, 1999, 250-260. Note: Full version of this paper is available as MPI Research Report MPI-I-1999-2-004.