Teng Long, Xingtao Ren, Qing Wang, Chao Wang. Verifying the safety properties of distributed systems via mergeable parallelism. Journal of Systems Architecture, 130:102646, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.