12th International Conference on Reachability Problems

      24 - 26 September 2018, Marseille, France

Proceedings


The proceedings of the conference will be published in the Springer Verlag LNCS series and hard-copies will be distributed during the conference.

The online version is available here.

LNCS

Selected papers of formal and informal presentations will be invited to a special issue of a recognized journal (under negotiation).