1. Modeling and verifying SDN under Multi‐controller architectures using CSP. (21st May 2019) Authors: Xiao, Lili; Zhu, Huibiao; Xiang, Shuangqing; Cong Vinh, Phan Other Names: Ko Hoon guestEditor.; Marreiros Goreti guestEditor.; Cong Vinh Phan guestEditor. Journal: Concurrency and computation Issue: Volume 33:Number 2(2021) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗