Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2019). Efficient verification of comcurrent systems using local analysis based approximations and SAT solving. Springer.
Citace podle Chicago (17th ed.)Antonino, P., T. Gibson-Robinson, a A. Roscoe. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
Citace podle MLA (9th ed.)Antonino, P., et al. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..