Conference paper
Association control in mobile wireless networks
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
A unified approach to the formal description and validation of several distributed protocols is presented. After introducing two basic protocols, a series of known and new protocols for connectivity test, shortest path, and path updating are described and validated. All protocols are extended to networks with changing topology. © 1983 IEEE
Minkyong Kim, Zhen Liu, et al.
INFOCOM 2008
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Pradip Bose
VTS 1998