Reachability problems : 7th international workshop, RP 2013 : proceedings, Uppsala, Sweden, Sept. 24-26, 2013 (e-book)
Reachability problems : 7th international workshop, RP 2013 : proceedings, Uppsala, Sweden, Sept. 24-26, 2013 (e-book)
-
- Berlin Springer 2013
-
- Lecture notes in computer science ; v.8169 .
978-3-642-41036-9
Computer Science and Engineering
Computer systems-Verification-Congresses , Decidability(Mathematical logic)-Congresses , Computer science-Mathematics-Congresses
978-3-642-41036-9
Computer Science and Engineering
Computer systems-Verification-Congresses , Decidability(Mathematical logic)-Congresses , Computer science-Mathematics-Congresses