Blondin, M., Haase, C., & Offtermatt, P. (2021). Directed reachability for infinite-state systems. Springer.
Chicago-čujuhus (17. p.)Blondin, M., CJ Haase, juo P. Offtermatt. Directed Reachability for Infinite-state Systems. Springer, 2021.
MLA-čujuhus (9. p.)Blondin, M., et al. Directed Reachability for Infinite-state Systems. Springer, 2021.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.