APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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