Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2019). Efficient verification of comcurrent systems using local analysis based approximations and SAT solving. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रAntonino, P., T. Gibson-Robinson, और A. Roscoe. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
एमएलए (9वां संस्करण) प्रशस्ति पत्रAntonino, P., et al. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.