Using Model Checking for Analyzing Distributed Power Control Problems

Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby. Using Model Checking for Analyzing Distributed Power Control Problems. EURASIP J. Wireless Comm. and Networking, 2010, 2010. [doi]

Abstract

Abstract is missing.