[ACM Press the 2014 Symposium - Shanghai, China (2014.07.28-2014.07.31)] Proceedings of the 2014 Symposium on Symbolic-Numeric Computation - SNC '14 - Safety verification of nonlinear systems based on rational invariants
Lin, Wang, Wu, Min, Yang, Zhengfeng, Zeng, ZhenbingYear:
2014
Language:
english
DOI:
10.1145/2631948.2631967
File:
PDF, 344 KB
english, 2014