APA aipamena

Alglave, J., Kroening, D., Tautschnig, M., & Sharygina, N. (2013). Partial orders for efficient bounded model checking of concurrent software. Springer.

Chicago Style aipamena

Alglave, J., D. Kroening, M. Tautschnig, and N. Sharygina. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.

MLA aipamena

Alglave, J., et al. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.