Charles C. Phiri, János Botzheim, Cristina Valle, Zhaojie Ju, Honghai Liu. Dynamical System Algorithm Specification Analysis and Stabilization. In Yongan Huang, Hao Wu, Honghai Liu, Zhouping Yin, editors, Intelligent Robotics and Applications - 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part I. Volume 10462 of Lecture Notes in Computer Science, pages 560-569, Springer, 2017. [doi]
@inproceedings{PhiriBVJL17,
title = {Dynamical System Algorithm Specification Analysis and Stabilization},
author = {Charles C. Phiri and János Botzheim and Cristina Valle and Zhaojie Ju and Honghai Liu},
year = {2017},
doi = {10.1007/978-3-319-65289-4_53},
url = {https://doi.org/10.1007/978-3-319-65289-4_53},
researchr = {https://researchr.org/publication/PhiriBVJL17},
cites = {0},
citedby = {0},
pages = {560-569},
booktitle = {Intelligent Robotics and Applications - 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part I},
editor = {Yongan Huang and Hao Wu and Honghai Liu and Zhouping Yin},
volume = {10462},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-65289-4},
}