Title: Reachability problems
Subjects: Erreichbarkeitsmenge, Decidability (Mathematical logic), Congresses, Zustandsgraph, Configurations, Computer systems, Erreichbarkeit, Verification, Logic design, Computer science, Software engineering, Computer software
Places: Brünn <2010>