Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen. Formal Verification of Lunar Rover Control Software Using UPPAAL. In Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001, editors, FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Volume 8442 of Lecture Notes in Computer Science, pages 718-732, Springer, 2014. [doi]
@inproceedings{ShanWFZZWQC14,
title = {Formal Verification of Lunar Rover Control Software Using UPPAAL},
author = {Lijun Shan and Yuying Wang and Ning Fu and Xingshe Zhou and Lei Zhao and Lijng Wan and Lei Qiao and Jianxin Chen},
year = {2014},
doi = {10.1007/978-3-319-06410-9_48},
url = {http://dx.doi.org/10.1007/978-3-319-06410-9_48},
researchr = {https://researchr.org/publication/ShanWFZZWQC14},
cites = {0},
citedby = {0},
pages = {718-732},
booktitle = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun 0001},
volume = {8442},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-06409-3},
}