Cite
Reasoning about block-based cloud storage systems via separation logic.
MLA
Jin, Zhao, et al. “Reasoning about Block-Based Cloud Storage Systems via Separation Logic.” Theoretical Computer Science, vol. 936, Nov. 2022, pp. 43–76. EBSCOhost, https://doi.org/10.1016/j.tcs.2022.09.015.
APA
Jin, Z., Zhang, B., Cao, T., Cao, Y., & Wang, H. (2022). Reasoning about block-based cloud storage systems via separation logic. Theoretical Computer Science, 936, 43–76. https://doi.org/10.1016/j.tcs.2022.09.015
Chicago
Jin, Zhao, Bowen Zhang, Tianyue Cao, Yongzhi Cao, and Hanpin Wang. 2022. “Reasoning about Block-Based Cloud Storage Systems via Separation Logic.” Theoretical Computer Science 936 (November): 43–76. doi:10.1016/j.tcs.2022.09.015.