10th International Workshop on Reachability Problems
19 - 21 September 2016, Aalborg, Denmark
Proceedings
The proceedings of the conference are now published online here in the Springer Verlag LNCS series and hard-copies will be distributed during the conference.
Selected papers of formal and informal presentations will be invited to a special issue of a recognized journal (under negotiation).
Important dates:
Support
We acknowledge the kind support of
