Normal view
MARC view
Computer systems-Verification-Congresses , Decidability(Mathematical logic)-Congresses , Configurations-Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)173565: Reachability problems : 4th international workshop : proceedings, RP, Brno, Czech Republic, Aug. 28-29, 2010 (e-book)