Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.