TY - DATA AU - Anthony W. Lin AU - Georg Zetzsche AU - Igor Potapov TI - Reachability Problems T2 - Lecture Notes in Computer Science SN - 9783031191350 PB - Springer KW - Computer Science KW - Formal Languages and Automata Theory UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-19135-0 ER -