Reachability problems : 4th international workshop : proceedings, RP, Brno, Czech Republic, Aug. 28-29, 2010 (e-book)
Reachability problems : 4th international workshop : proceedings, RP, Brno, Czech Republic, Aug. 28-29, 2010 (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.6227 LNCS Sublibrary: SL 1 – Theoretical Computer Science and General Issues .
978-3-642-15349-5
Computer Science and Engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Configurations--Congresses
978-3-642-15349-5
Computer Science and Engineering
Computer systems--Verification--Congresses
Decidability (Mathematical logic)--Congresses
Configurations--Congresses