Blondin, M., Haase, C., & Offtermatt, P. (2021). Directed reachability for infinite-state systems. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Blondin, M., CJ Haase, và P. Offtermatt. Directed Reachability for Infinite-state Systems. Springer, 2021.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Blondin, M., et al. Directed Reachability for Infinite-state Systems. Springer, 2021.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.