000 00769 a2200253 4500
001 388004
020 _a978-3-319-11439-2
041 _anull
080 _a
245 _aReachability problems : 8th international workshop, RP: proceedings, Oxford, UK, Sep. 22-24, 2014 (e-book)
250 _a
260 _aBerlin
260 _bSpringer
260 _c2014
300 _a
300 _c
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-11438-5
490 _aLecture notes in computer science ; 8762
700 _a
650 _a
650 _aComputer Science and Engineering
650 _aComputer systems-Verification-Congresses , Decidability (Mathematical logic) -Congresses , Computer science-Mathematics-Congresses
942 _cEB
942 _2UDC
999 _c191838
_d191838