Reachability problems : 8th international workshop, RP: proceedings, Oxford, UK, Sep. 22-24, 2014 (e-book)
Reachability problems : 8th international workshop, RP: proceedings, Oxford, UK, Sep. 22-24, 2014 (e-book)
-
- Berlin Springer 2014
-
- Lecture notes in computer science ; 8762 .
978-3-319-11439-2
Computer Science and Engineering
Computer systems-Verification-Congresses , Decidability (Mathematical logic) -Congresses , Computer science-Mathematics-Congresses
978-3-319-11439-2
Computer Science and Engineering
Computer systems-Verification-Congresses , Decidability (Mathematical logic) -Congresses , Computer science-Mathematics-Congresses