LIU, Y., CHEN, W., LIU, Y. A., & SUN, J. (2009). Model checking linearizability via refinement. Institutional Knowledge at Singapore Management University.
Chicago Style CitationLIU, Yang, Wei CHEN, Yanhong A. LIU, and Jun SUN. Model Checking Linearizability Via Refinement. Institutional Knowledge at Singapore Management University, 2009.
MLA CitationLIU, Yang, Wei CHEN, Yanhong A. LIU, and Jun SUN. Model Checking Linearizability Via Refinement. Institutional Knowledge at Singapore Management University, 2009.
Warning: These citations may not always be 100% accurate.