Reachability Problems
Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov
Reachability Problems - Springer 2015 - Lecture Notes in Computer Science .
9783319245379
Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Reachability Problems - Springer 2015 - Lecture Notes in Computer Science .
9783319245379
Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages