{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:18:51Z","timestamp":1730272731328,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/iscc.2014.6912620","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:37:54Z","timestamp":1412109474000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA\/CA protocol"],"prefix":"10.1109","author":[{"given":"Youcef","family":"Hammal","sequence":"first","affiliation":[]},{"given":"Jalel","family":"Ben-Othman","sequence":"additional","affiliation":[]},{"given":"Lynda","family":"Mokdad","sequence":"additional","affiliation":[]},{"given":"Abdelkrim","family":"Abdelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.16"},{"key":"2","article-title":"A tutorial on uppaal, in proc","author":"behrmann","year":"0","journal-title":"Of 4th IntI School on Formal Methods for the Design of Computer Communication and Software Systems LNCS 3185"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"Object Management Group Inc Unified Modeling Language Superstructure Version 2 4","year":"2011","key":"7"},{"key":"6","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 IntI Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification LNCS 2399"},{"key":"5","first-page":"309","article-title":"1 software model checking","volume":"180","author":"holzmann","year":"2000","journal-title":"NATO Int Summer School"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1142\/S0219265909002583"},{"key":"8","article-title":"Specification and analysis of the dcf protocol in the 802.11 standard using systems of communicating mchines","author":"vasan","year":"2002","journal-title":"CS-TR 4358 UMIACS-TR-2002-37 UMIACS and Department of Computer Science"}],"event":{"name":"2014 IEEE Symposium on Computers and Communication (ISCC)","start":{"date-parts":[[2014,6,23]]},"location":"Funchal, Madeira, Portugal","end":{"date-parts":[[2014,6,26]]}},"container-title":["2014 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6892194\/6912618\/06912620.pdf?arnumber=6912620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:17:54Z","timestamp":1490307474000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6912620\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/iscc.2014.6912620","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}