Reachability problems : 9th international workshop, RP, proceedings, Warsaw, Poland, Sep. 21-23, 2015 (e-book)
Reachability problems : 9th international workshop, RP, proceedings, Warsaw, Poland, Sep. 21-23, 2015 (e-book)
- Berlin Springer 2015
- Lecture Notes in Computer Science (LNCS) v.9328 .
978-3-319-24537-9
Computer Science and Engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Computer science--Mathematics--Congresses
978-3-319-24537-9
Computer Science and Engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Computer science--Mathematics--Congresses