Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2019). Efficient verification of comcurrent systems using local analysis based approximations and SAT solving. Springer.
Lua i Stíl Chicago (17ú heag.)Antonino, P., T. Gibson-Robinson, agus A. Roscoe. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
Lua MLA (9ú heag.)Antonino, P., et al. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.