Reachability problems : 10th international workshop, RP, proceedings, Aalborg, Denmark, Sept. 19-21, 2016 (e-book)
Reachability problems : 10th international workshop, RP, proceedings, Aalborg, Denmark, Sept. 19-21, 2016 (e-book)
- Berlin Springer 2016
- Lecture Notes in Computer Science (LNCS) v.9899 .
978-3-319-45994-3
Computer Science and Engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Computer science--Mathematics--Congresses
978-3-319-45994-3
Computer Science and Engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Computer science--Mathematics--Congresses