Article citations

Download citation

Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach

Zhi Xu, Deming Zhong, Weigang Li, Hao Huang and And Yigang Sun

ITM Web Conf., 17 (2018) 03026

DOI: https://doi.org/10.1051/itmconf/20181703026

Back to the article