Zhongsheng Qian, Xin Li, Xiaojin Wang. Modeling Distributed Real-time Elevator System by Three Model Checkers. iJOE, 14(4):94-110, 2018. [doi]
@article{QianLW18,
title = {Modeling Distributed Real-time Elevator System by Three Model Checkers},
author = {Zhongsheng Qian and Xin Li and Xiaojin Wang},
year = {2018},
url = {http://www.online-journals.org/index.php/i-joe/article/view/8383},
researchr = {https://researchr.org/publication/QianLW18},
cites = {0},
citedby = {0},
journal = {iJOE},
volume = {14},
number = {4},
pages = {94-110},
}