Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li. From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures. Volume 12154 of Lecture Notes in Computer Science, pages 10-43, Springer, 2019. [doi]
@inproceedings{BuWWL19,
title = {From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT},
author = {Lei Bu and Jiawan Wang and Yuming Wu and Xuandong Li},
year = {2019},
doi = {10.1007/978-3-030-55089-9_2},
url = {https://doi.org/10.1007/978-3-030-55089-9_2},
researchr = {https://researchr.org/publication/BuWWL19},
cites = {0},
citedby = {0},
pages = {10-43},
booktitle = {Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
editor = {Jonathan P. Bowen and Zhiming Liu 0001 and Zili Zhang},
volume = {12154},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-55089-9},
}