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

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