Identify spatio-temporal properties of network traffic by model checking. - Yuan, Zheke; Niu, Jun; Lu, Xurong; Yang, Fangmeng (J. Supercomput., 2023)

Spatial properties verification approach of wireless sensor networks using model checking. - Wang, Jia; Niu, Jun; Yuan, Zheke; Fei, Fan (Int. J. Sens. Networks, 2022)