Mei Meng, Xu Zhongwei, Wang Xi, Wan Yongbing. Model checking-based safety verification for railway signal safety protocol-I. IJCAT, 46(3):195-202, 2013. [doi]
@article{MengZXY13,
title = {Model checking-based safety verification for railway signal safety protocol-I},
author = {Mei Meng and Xu Zhongwei and Wang Xi and Wan Yongbing},
year = {2013},
doi = {10.1504/IJCAT.2013.052795},
url = {http://dx.doi.org/10.1504/IJCAT.2013.052795},
researchr = {https://researchr.org/publication/MengZXY13},
cites = {0},
citedby = {0},
journal = {IJCAT},
volume = {46},
number = {3},
pages = {195-202},
}