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]
@article{BrihayeJLMO10, title = {Using Model Checking for Analyzing Distributed Power Control Problems}, author = {Thomas Brihaye and Marc Jungers and Samson Lasaulce and Nicolas Markey and Ghassan Oreiby}, year = {2010}, doi = {10.1155/2010/861472}, url = {http://dx.doi.org/10.1155/2010/861472}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BrihayeJLMO10}, cites = {0}, citedby = {0}, journal = {EURASIP J. Wireless Comm. and Networking}, volume = {2010}, }