Alglave, J., Kroening, D., Tautschnig, M., & Sharygina, N. (2013). Partial orders for efficient bounded model checking of concurrent software. Springer.
Lua i Stíl Chicago (17ú heag.)Alglave, J., D. Kroening, M. Tautschnig, agus N. Sharygina. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
Lua MLA (9ú heag.)Alglave, J., et al. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.