Blondin, M., Haase, C., & Offtermatt, P. (2021). Directed reachability for infinite-state systems. Springer.
Chicago-Zitierstil (17. Ausg.)Blondin, M., CJ Haase, und P. Offtermatt. Directed Reachability for Infinite-state Systems. Springer, 2021.
MLA-Zitierstil (9. Ausg.)Blondin, M., et al. Directed Reachability for Infinite-state Systems. Springer, 2021.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.