Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2019). Efficient verification of comcurrent systems using local analysis based approximations and SAT solving. Springer.
Citação do estilo Chicago (17ª ed.)Antonino, P., T. Gibson-Robinson, e A. Roscoe. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
Citação MLA (9ª ed.)Antonino, P., et al. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.