{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:06:14Z","timestamp":1730232374020,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/icc.2015.7248880","type":"proceedings-article","created":{"date-parts":[[2015,9,11]],"date-time":"2015-09-11T00:40:36Z","timestamp":1441932036000},"page":"3579-3584","source":"Crossref","is-referenced-by-count":4,"title":["Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols"],"prefix":"10.1109","author":[{"given":"Lynda","family":"Mokdad","sequence":"first","affiliation":[]},{"given":"Youcef","family":"Hammal","sequence":"additional","affiliation":[]},{"given":"Jalel","family":"Ben-Othman","sequence":"additional","affiliation":[]},{"given":"Abdelkrim","family":"Abdelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.34"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.16"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JCN.2014.000068"},{"key":"ref10","article-title":"Specification and Analysis of the DCF Protocol in the 802.11 Standard using Systems of Communicating Mchines, CS-TR 4358, UMIACS-TR-2002-37","author":"vasan","year":"2002","journal-title":"University of Maryland Computer Science Department"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406342"},{"key":"ref8","first-page":"309","article-title":"Softwere Model Checking","volume":"180","author":"holzmann","year":"2000"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2013.10.004"},{"key":"ref2","article-title":"A Tutorial on Uppaal","author":"behrmann","year":"0","journal-title":"Proc of 4th Intl School on Formal Methods for the Design of Computer Communication and Software Systems LNCS 3185"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","first-page":"169","article-title":"Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol","author":"kwiatkowska","year":"2002","journal-title":"Proc of the 2nd Joint Intl Workshop on process Algebra and Performance Modelling and Probabilistic Methods in Verification LNCS 2399"}],"event":{"name":"2015 IEEE International Conference on Signal Processing for Communications (ICC)","start":{"date-parts":[[2015,6,8]]},"location":"London","end":{"date-parts":[[2015,6,12]]}},"container-title":["2015 IEEE International Conference on Communications (ICC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7225357\/7248285\/07248880.pdf?arnumber=7248880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,5]],"date-time":"2017-06-05T16:53:29Z","timestamp":1496681609000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7248880\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icc.2015.7248880","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}