Using Model Checking for Analyzing Distributed Power Control Problems
Brihaye, Thomas, Jungers, Marc, Lasaulce, Samson, Markey, Nicolas, Oreiby, GhassanТом:
2010
Мова:
english
Журнал:
EURASIP Journal on Wireless Communications and Networking
DOI:
10.1155/2010/861472
Date:
December, 2009
Файл:
PDF, 547 KB
english, 2009