Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He. The stochastic semantics and verification for periodic control systems. Science in China Series F: Information Sciences, 55(12):2675-2693, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.