@ARTICLE{
author={Liu Ailun,Zhu Huibiao,Popovic Miroslav V,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},
}