@ARTICLE{
author={Liu Ailun|,Zhu Huibiao|,Popovic Miroslav V|0000-0001-8385-149X,Xiang Shuangqing|,Zhang Lei|},
year={2020},
title={Formal analysis and verification of the PSTM architecture using CSP},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={165},
number={},
pages={-},
document_type={Article},
}