Full Description
Constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. This book includes the papers dealing with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification.



