Normal view MARC view

Computer systems-Verification-Congresses , Decidability(Mathematical logic)-Congresses , Configurations-Congresses (Topical Term)

Preferred form: Computer systems-Verification-Congresses , Decidability(Mathematical logic)-Congresses , Configurations-Congresses

Machine generated authority record.

Work cat.: (OSt)173565: Reachability problems : 4th international workshop : proceedings, RP, Brno, Czech Republic, Aug. 28-29, 2010 (e-book)

Powered by Koha