Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings - RP 2009 (2009 : Palaiseau, France).; Bournez, Olivier; Potapov, Igor; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer systems -- Verification -- Congresses; Decidability (Mathematical logic) -- Congresses; Configurations -- Congresses; Computation by Abstract Devices; Mathematics of Computing; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity