Home » Reachability Problems: 7th International Workshop, Rp 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings by Parosh Aziz Abdulla