Jing Sun 0002, Jin Song Dong, Stan Jarzabek, Hai H. Wang. Computer-aided dispatch system family architecture and verification: an integrated formal approach. IEE Proceedings - Software, 153(3):102-112, 2006. [doi]
@article{0002DJW06,
title = {Computer-aided dispatch system family architecture and verification: an integrated formal approach},
author = {Jing Sun 0002 and Jin Song Dong and Stan Jarzabek and Hai H. Wang},
year = {2006},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1645517},
researchr = {https://researchr.org/publication/0002DJW06},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {153},
number = {3},
pages = {102-112},
}