Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bournez, Olivier (Editor), Potapov, Igor (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5797
• Subjects: Computer science.; Computer programming.; Computers.; Algorithms.; Computer logic.; Computer science > Mathematics.; Computer Science.; Mathematics of Computing.; Theory of Computation.; Programming Techniques.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Computation by Abstract Devices.

This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verificatio...