Blondin, M., Haase, C., & Offtermatt, P. (2021). Directed reachability for infinite-state systems. Springer.
Dyfyniad Arddull ChicagoBlondin, M., CJ Haase, and P. Offtermatt. Directed Reachability for Infinite-state Systems. Springer, 2021.
Dyfyniad MLABlondin, M., et al. Directed Reachability for Infinite-state Systems. Springer, 2021.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.