APA (7th ed.) Citation

Blondin, M., Haase, C., & Offtermatt, P. (2021). Directed reachability for infinite-state systems. Springer.

Chicago Style (17th ed.) Citation

Blondin, M., CJ Haase, and P. Offtermatt. Directed Reachability for Infinite-state Systems. Springer, 2021.

MLA (9th ed.) Citation

Blondin, M., et al. Directed Reachability for Infinite-state Systems. Springer, 2021.