Reachability problems : 5th international workshop : proceedings, RP, Genoa, Italy, Sept. 28-30, 2011 (e-book)
Reachability problems : 5th international workshop : proceedings, RP, Genoa, Italy, Sept. 28-30, 2011 (e-book)
- Berlin Springer 2011
- Lecture Notes in Computer Science (LNCS) v.6945 LNCS Sublibrary : SL 1 – Theoretical computer science and general issues .
978-3-642-24288-5
Computer science and engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Configurations--Congresses
978-3-642-24288-5
Computer science and engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Configurations--Congresses