{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T14:46:11Z","timestamp":1648737971652},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T00:00:00Z","timestamp":1254268800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Netw Appl"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11036-009-0210-5","type":"journal-article","created":{"date-parts":[[2009,9,29]],"date-time":"2009-09-29T11:43:32Z","timestamp":1254224612000},"page":"769-785","source":"Crossref","is-referenced-by-count":5,"title":["Automated Development of Cooperative MAC Protocols"],"prefix":"10.1007","volume":"15","author":[{"given":"Hermann Simon","family":"Lichte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Valentin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Karl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,9,30]]},"reference":[{"key":"210_CR1","volume-title":"Compilers\u2014principles, techniques, & tools","author":"AV Aho","year":"2007","unstructured":"Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers\u2014principles, techniques, & tools, 2nd edn. Pearson Education, Harlow","edition":"2"},{"key":"210_CR2","doi-asserted-by":"crossref","unstructured":"Burch JR, Clarke EM, McMillan KL, Dill DL, Hwang LJ (1990) Symbolic model checking: 1020 states and beyond. In: Proc. 5th annual IEEE symp. logic comput. sci., pp 428\u2013439. doi: 10.1109\/LICS.1990.113767","DOI":"10.1109\/LICS.1990.113767"},{"key":"210_CR3","doi-asserted-by":"crossref","unstructured":"Chen Y, Kishore S, Li J (2006) Wireless diversity through network coding. In: Proc. IEEE wireless commun. netw. conf., vol\u00a03, pp 1681\u20131686. doi: 10.1109\/WCNC.2006.1696541","DOI":"10.1109\/WCNC.2006.1696541"},{"issue":"9","key":"210_CR4","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1016\/0169-7552(93)90094-K","volume":"25","author":"MG Gouda","year":"1993","unstructured":"Gouda MG (1993) Protocol verification made simple: a tutorial. Comput Netw ISDN Syst 25(9):969\u2013980. doi: 10.1016\/0169-7552(93)90094-K","journal-title":"Comput Netw ISDN Syst"},{"issue":"2","key":"210_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/129630.129637","volume":"35","author":"RW Gray","year":"1992","unstructured":"Gray RW, Levi SP, Heuring VP, Sloane AM, Waite WM (1992) Eli: a complete, flexible compiler construction system. Commun ACM 35(2):121\u2013130","journal-title":"Commun ACM"},{"key":"210_CR6","doi-asserted-by":"crossref","unstructured":"Gunduz D, Erkip E (2004) Joint source-channel cooperation: diversity versus spectral efficiency. In: Proc. IEEE int. symp. information theory, p 392","DOI":"10.1109\/ISIT.2004.1365429"},{"issue":"1","key":"210_CR7","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/52.108773","volume":"9","author":"GJ Holzmann","year":"1992","unstructured":"Holzmann GJ (1992) Protocol design: redefining the state of the art. IEEE Softw 9(1):17\u201322. doi: 10.1109\/52.108773","journal-title":"IEEE Softw"},{"issue":"2","key":"210_CR8","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1109\/TIT.2005.862084","volume":"52","author":"TE Hunter","year":"2006","unstructured":"Hunter TE, Sanayei S, Nosratinia A (2006) Outage analysis of coded cooperation. IEEE Trans Inf Theory 52(2):375\u2013391. doi: 10.1109\/TIT.2005.862084","journal-title":"IEEE Trans Inf Theory"},{"issue":"2","key":"210_CR9","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TSP.2003.821100","volume":"52","author":"M Janani","year":"2004","unstructured":"Janani M, Hedayat A, Hunter TE, Nosratinia A (2004) Coded cooperation in wireless communications: space-time transmission and iterative decoding. IEEE Trans Signal Process 52(2):362\u2013371","journal-title":"IEEE Trans Signal Process"},{"key":"210_CR10","unstructured":"Kastens U (1997) LIDO\u2014computations in trees. University of Paderborn. http:\/\/eli-project.sourceforge.net\/"},{"issue":"12","key":"210_CR11","doi-asserted-by":"crossref","first-page":"3062","DOI":"10.1109\/TIT.2004.838089","volume":"50","author":"JN Laneman","year":"2004","unstructured":"Laneman JN, Tse DNC, Wornell GW (2004) Cooperative diversity in wireless networks: efficient protocols and outage behavior. IEEE Trans Inf Theory 50(12):3062\u20133080. doi: 10.1109\/TIT.2004.838089","journal-title":"IEEE Trans Inf Theory"},{"key":"210_CR12","doi-asserted-by":"crossref","unstructured":"Lichte HS, Valentin S (2008) Implementing MAC protocols for cooperative relaying: a compiler-assisted approach. In: Proc. 1st int. conf. simulation tools and techniques for commun., networks and syst. Best paper award","DOI":"10.4108\/ICST.SIMUTOOLS2008.3053"},{"key":"210_CR13","unstructured":"MathWorks (2006) Matlab\u2014the language of technical computing. http:\/\/www.mathworks.com\/products\/matlab\/"},{"key":"210_CR14","volume-title":"IEEE 802.11 handbook: a designers companion","author":"B O\u2019Hara","year":"1999","unstructured":"O\u2019Hara B, Petrick A (1999) IEEE 802.11 handbook: a designers companion. IEEE, Piscataway"},{"key":"210_CR15","doi-asserted-by":"crossref","unstructured":"Sendonaris A, Erkip E, Aazhang B (1998) Increasing uplink capacity via user cooperation diversity. In: Proc. IEEE int. symp. information theory, p 156","DOI":"10.1109\/ISIT.1998.708750"},{"key":"210_CR16","unstructured":"SORBAS 101 (2005) Signalion software radio-based prototyping system. http:\/\/www.signalion.com\/"},{"key":"210_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511807213","volume-title":"Fundamentals of wireless communication","author":"D Tse","year":"2005","unstructured":"Tse D, Viswanath P (2005) Fundamentals of wireless communication. Cambridge University Press, Cambridge"},{"key":"210_CR18","unstructured":"Valentin S (2006) ChSim\u2014a wireless channel simulator for OMNeT+\u2009+. TKN simulation workshop 2006. Technical University of Berlin, Germany. http:\/\/wwwcs.upb.de\/cs\/chsim"},{"key":"210_CR19","doi-asserted-by":"crossref","unstructured":"Valentin S, Karl H (2007) Effect of user mobility in coded cooperative systems with joint partner and cooperation level selection. In: Proc. IEEE wireless commun. and networking conf., pp 896\u2013901. doi: 10.1109\/WCNC.2007.170","DOI":"10.1109\/WCNC.2007.170"},{"key":"210_CR20","doi-asserted-by":"crossref","unstructured":"Valentin S, Lichte HS, Warneke D, Biermann T, Funke R, Karl H (2008) Mobile cooperative WLANs\u2014MAC and transceiver design, prototyping, and field measurements. In: Proc. IEEE 68th veh. technology conf., pp 1\u20135. doi: 10.1109\/VETECF.2008.350","DOI":"10.1109\/VETECF.2008.350"},{"key":"210_CR21","unstructured":"Varga A (2001) The OMNeT+\u2009+ discrete event simulation system. In: Proc. European simulation multiconference, pp 319\u2013324"},{"key":"210_CR22","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/wcm.366","volume":"7","author":"SA Zummo","year":"2007","unstructured":"Zummo SA (2007) Performance analysis of coded cooperation diversity in wireless networks. Wirel Commun Mob Comput 7:473\u2013481","journal-title":"Wirel Commun Mob Comput"}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-009-0210-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11036-009-0210-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11036-009-0210-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:16:04Z","timestamp":1559358964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11036-009-0210-5"}},"subtitle":["A Compiler-Assisted Approach"],"short-title":[],"issued":{"date-parts":[[2009,9,30]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["210"],"URL":"https:\/\/doi.org\/10.1007\/s11036-009-0210-5","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"value":"1383-469X","type":"print"},{"value":"1572-8153","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,9,30]]}}}