{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,10]],"date-time":"2025-05-10T20:03:46Z","timestamp":1746907426261},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Wireless Com Network"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1155\/2010\/861472","type":"journal-article","created":{"date-parts":[[2010,6,27]],"date-time":"2010-06-27T14:36:18Z","timestamp":1277649378000},"source":"Crossref","is-referenced-by-count":1,"title":["Using Model Checking for Analyzing Distributed Power Control Problems"],"prefix":"10.1186","volume":"2010","author":[{"given":"Thomas","family":"Brihaye","sequence":"first","affiliation":[]},{"given":"Marc","family":"Jungers","sequence":"additional","affiliation":[]},{"given":"Samson","family":"Lasaulce","sequence":"additional","affiliation":[]},{"given":"Nicolas","family":"Markey","sequence":"additional","affiliation":[]},{"given":"Ghassan","family":"Oreiby","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,5,5]]},"reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/98.788210"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.361604"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.1007390"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2008.920340"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2009.081182"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/98.839331"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2005.864028"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2009.081443"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.933496"},{"key":"6","volume-title":"Temporal and modal logic","year":"1990"},{"key":"5","year":"1999"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.911424"},{"issue":"1","key":"4","first-page":"60","volume":"24","year":"1978"},{"issue":"2","key":"1","first-page":"183","volume":"126","year":"1994"}],"container-title":["EURASIP Journal on Wireless Communications and Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1155\/2010\/861472.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T19:14:55Z","timestamp":1565205295000},"score":1,"resource":{"primary":{"URL":"https:\/\/jwcn-eurasipjournals.springeropen.com\/articles\/10.1155\/2010\/861472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,5]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["2044"],"URL":"https:\/\/doi.org\/10.1155\/2010\/861472","relation":{},"ISSN":["1687-1499"],"issn-type":[{"value":"1687-1499","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,5]]},"article-number":"861472"}}