10th International Workshop on Reachability Problems

      19 - 21 September 2016, Aalborg, Denmark

Organizing Committee


Kim G. Larsen, Aalborg University

Jiri Srba, Aalborg University

Igor Potapov, proceedings chair, University of Liverpool

Rikke W. Uhrenholt, administration, Aalborg University

Important dates:


Support

We acknowledge the kind support of

CISS