Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji
Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic
SEKE, 2012.
@inproceedings{SEKE-2012-ZhaiLZLCJ,
author = "Xiaoxiang Zhai and Bixin Li and Min Zhu and Jiakai Li and Qiaoqiao Chen and Shunhui Ji",
booktitle = "{Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-31-4",
pages = "231--234",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic}",
year = 2012,
}