{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:07:29Z","timestamp":1729616849411,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/glocomw.2012.6477705","type":"proceedings-article","created":{"date-parts":[[2013,3,20]],"date-time":"2013-03-20T17:31:21Z","timestamp":1363800681000},"page":"953-958","source":"Crossref","is-referenced-by-count":0,"title":["Spectrum utility optimization by Priced Timed Automata model under heterogeneous Primary User traffics in CR networks"],"prefix":"10.1109","author":[{"given":"Berk","family":"Canberk","sequence":"first","affiliation":[]},{"given":"Tolga","family":"Ovatman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10703-006-0014-1","article-title":"On using priced timed automata to achieve optimal scheduling","volume":"29","author":"rasmussen","year":"2006","journal-title":"Formal Methods in System Design"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0_47"},{"key":"18","first-page":"1","article-title":"Modelling and analysis of aodv in uppaal","author":"fehnker","year":"2011","journal-title":"1st International Workshop on Rigorous Protocol Engineering"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_47","article-title":"As cheap as possible: Efficient cost-optimal reachability for priced timed automata","volume":"2102","author":"larsen","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"16","article-title":"Modelling and verification of security protocols for ad hoc networks using uppaal","author":"godskesen","year":"2006","journal-title":"Proc 18th Nordic Workshop on Programming Theory"},{"key":"13","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"Nusmv 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proc Int Conf Computer Aided Verification"},{"key":"14","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on UPPAAL","volume":"3185","author":"behrmann","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/11561163_8","article-title":"Priced timed automata: Algorithms and applications","volume":"3657","author":"rasmussen","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/VNC.2011.6117123"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.06.006"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2009.5191140"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2008.4481339"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.24"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.110405"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/JSTSP.2007.914882"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2011.090611.100054"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/T-WC.2008.070391"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_40"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-008-9131-z"}],"event":{"name":"2012 IEEE Globecom Workshops (GC Wkshps)","start":{"date-parts":[[2012,12,3]]},"location":"Anaheim, CA, USA","end":{"date-parts":[[2012,12,7]]}},"container-title":["2012 IEEE Globecom Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6470041\/6477486\/06477705.pdf?arnumber=6477705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T05:45:11Z","timestamp":1498023911000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6477705\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/glocomw.2012.6477705","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}