Alglave, J., Kroening, D., Tautschnig, M., & Sharygina, N. (2013). Partial orders for efficient bounded model checking of concurrent software. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रAlglave, J., D. Kroening, M. Tautschnig, और N. Sharygina. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
एमएलए (9वां संस्करण) प्रशस्ति पत्रAlglave, J., et al. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.