Alglave, J., Kroening, D., Tautschnig, M., & Sharygina, N. (2013). Partial orders for efficient bounded model checking of concurrent software. Springer.
Cytowanie według stylu Chicago (wyd. 17)Alglave, J., D. Kroening, M. Tautschnig, i N. Sharygina. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
Cytowanie według stylu MLA (wyd. 9)Alglave, J., et al. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..