Cytowanie według stylu APA (wyd. 7)

Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2019). Efficient verification of comcurrent systems using local analysis based approximations and SAT solving. Springer.

Cytowanie według stylu Chicago (wyd. 17)

Antonino, P., T. Gibson-Robinson, i A. Roscoe. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.

Cytowanie według stylu MLA (wyd. 9)

Antonino, P., et al. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.