@ARTICLE{
author={Zhang Lei,Xie Xiulan,Djokovic Nemanja,Nikolic Katarina M,Kosenkov Dmitri,Abendroth Frank,Vazquez Olalla},
year={2023},
title={Reversible Control of RNA Splicing by Photoswitchable Small Molecules},
journal={JOURNAL OF THE AMERICAN CHEMICAL SOCIETY},
volume={145},
number={23},
pages={12783-12792},
document_type={Article},
} 

@ARTICLE{
author={Zhang Lei,Xie Xiulan,Djokovic Nemanja,Nikolic Katarina M,Kosenkov Dmitri,Abendroth Frank,Vazquez Olalla},
year={2023},
title={Reversible Control of RNA Splicing by Photoswitchable Small Molecules},
journal={JOURNAL OF THE AMERICAN CHEMICAL SOCIETY},
volume={145},
number={23},
pages={12783-12792},
document_type={Article},
} 

@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},
} 

