混合系統 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "混合系統" in Chinese language version.

refsWebsite

Global rank Chinese rank

2^nd place

23^rd place

doi.org

Stefan Ratschan: Safety verification of non-linear hybrid systems is quasi-decidable, Formal Methods in System Design, volume 44, pp. 71-90, 2014, doi:10.1007/s10703-013-0196-2