TY  - BOOK
AU  - Finkel,Alain
AU  - Leroux,Jérôme
AU  - Potapov,Igor
TI  - Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings 
SN  - 9783642335129
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computers
KW  - Algorithms
KW  - Computer logic
KW  - Mathematical logic
N1  - Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification -- Finite- and infinite-state concurrent systems -- Computational models -- Decision procedures
UR  - http://dx.doi.org/10.1007/978-3-642-33512-9
ER  -