APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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