Reachability Problems [electronic resource] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / edited by Olivier Bournez, Igor Potapov.
ISBN
9783642044205
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.