Olivier Bournez Igor Potapov Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings 5797 2009 http://dx.doi.org/10.1007/978-3-642-04420-5 978-3-642-04419-9 RP Lecture Notes in Computer Science Springer db/conf/rp/rp2009.html