@ARTICLE{
author={Li Peimu|,Yin Jiaqi|,Zhu Huibiao|,Xiao Lili|,Popovic Miroslav V|0000-0001-8385-149X},
year={2022},
title={Formal Analysis and Verification of DPSTM v2 Architecture Using CSP},
journal={2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022)},
volume={},
number={},
pages={872-877},
document_type={Proceedings Paper},
}