@ARTICLE{
author={Li Peimu,Yin Jiaqi,Zhu Huibiao,Xiao Lili,Popovic Miroslav V},
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},
}