Alglave, J., Kroening, D., Tautschnig, M., & Sharygina, N. (2013). Partial orders for efficient bounded model checking of concurrent software. Springer.
Citação do estilo Chicago (17ª ed.)Alglave, J., D. Kroening, M. Tautschnig, e N. Sharygina. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
Citação MLA (9ª ed.)Alglave, J., et al. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.