Reachability problems : 3rd international workshop, RP 2009 : Palaiseau, France, September 23-25, 2009 : proceedings. : annual LIX fall colloquium : Sep 2009, Palaiseau, France. (Lecture Notes in Computer Science ; 5797)
Reachability problems : 3rd international workshop, RP 2009 : Palaiseau, France, September 23-25, 2009 : proceedings. : annual LIX fall colloquium : Sep 2009, Palaiseau, France.