Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

Olivier Bournez; Enrico Formenti; Igor Potapov, 9783031452857, 9783031452864