Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong. Software monitoring through formal specification animation. ISSE, 5(4):231-241, 2009. [doi]
@article{LiangDSW09,
title = {Software monitoring through formal specification animation},
author = {Hui Liang and Jin Song Dong and Jing Sun and W. Eric Wong},
year = {2009},
doi = {10.1007/s11334-009-0096-1},
url = {http://dx.doi.org/10.1007/s11334-009-0096-1},
researchr = {https://researchr.org/publication/LiangDSW09},
cites = {0},
citedby = {0},
journal = {ISSE},
volume = {5},
number = {4},
pages = {231-241},
}