{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:46:43Z","timestamp":1764784003154,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661759"},{"type":"electronic","value":"9783319661766"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66176-6_2","type":"book-chapter","created":{"date-parts":[[2017,8,14]],"date-time":"2017-08-14T04:13:02Z","timestamp":1502683982000},"page":"17-32","source":"Crossref","is-referenced-by-count":3,"title":["Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking"],"prefix":"10.1007","author":[{"given":"Sana","family":"Younes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Momtez","family":"Benmbarek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,15]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Ahmed, M.H.: Call admission control in wireless networks: a comprehensive survey. In: IEEE Communications Surveys and Tutorials, pp. 49\u201368 (2005)","DOI":"10.1109\/COMST.2005.1423334"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Alagu, S., Meyyappan, T.: An efficient call admission control scheme for handling handoffs in wireless mobile networks. IJANS 2(3) (2012)","DOI":"10.5121\/ijans.2012.2303"},{"issue":"1","key":"2_CR3","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. Comput. Log. 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Log."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model checking continuous-time Markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 358\u2013372. Springer, Heidelberg (2000). doi: 10.1007\/10722167_28"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Belghith, A., Mohamed, M.B., Obaidat, M.S.: Efficient bandwidth call admission control in 3Gpp. LTE networks. In: GLOBECOM (2016)","DOI":"10.1109\/GLOCOM.2016.7841771"},{"key":"2_CR6","unstructured":"Bisdikian, C., Choi, Y., Kwon, T., Naghshineh, M.: Call admission control for adaptive multimedia in wireless\/mobile networks. In: Proceedings of the IEEE Wireless Communications and Networking Conference, vol. 2, pp. 540\u2013544 (1999)"},{"issue":"2","key":"2_CR7","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Cornefjord, M., Gaasvik, P.-O., Svensson, V.: Different methods of giving priority to handoff traffic in a mobile telephone system with directed retry. In: Proceedings of the 41st IEEE Vehicular Technology Conference, pp. 549\u2013553 (1991)","DOI":"10.1109\/VETEC.1991.140551"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Dubslaff, C., Klppelholz, S., Baier, C.: Probabilistic model checking for energy analysis in software product lines. In: Proceedings of the 13th International Conference on Modularity, pp. 169\u2013180. ACM (2014)","DOI":"10.1145\/2577080.2577095"},{"issue":"6","key":"2_CR10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1007\/s10009-006-0014-x","volume":"8","author":"M Duflot","year":"2006","unstructured":"Duflot, M., Kwiatkowska, M., Norman, G., Parker, D.: A formal analysis of Bluetooth device discovery. Int. J. STTT 8(6), 621\u2013632 (2006)","journal-title":"Int. J. STTT"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1002\/wcm.246","volume":"6","author":"M Ghaderi","year":"2006","unstructured":"Ghaderi, M., Boutaba, R.: Call admission control in mobile cellular networks: a comprehensive survey. Wirel. Commun. Mob. Comput. 6, 69\u201393 (2006)","journal-title":"Wirel. Commun. Mob. Comput."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Haverkort, B., Cloth, L., Hermanns, H., Katoen, J.P., Baier, E.C.: Model checking performability properties. In: Proceedings of DSN. IEEE CS Press (2002)","DOI":"10.1109\/DSN.2002.1028891"},{"key":"2_CR13","volume-title":"Modeling and Analysis of Stochastic Systems","author":"VG Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman & Hall, London (1995)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22110-1_47"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Wang, J., Qiu, Y.: A new call admission control strategy for LTE femtocell networks. In: International Conference on Advances in Computer Science and Engineering, Sydney (2013)","DOI":"10.2991\/cse.2013.75"},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/TVT.2005.861202","volume":"55","author":"X Yang","year":"2006","unstructured":"Yang, X., Feng, G., Siew, C.K.: Call admission control for multi-service wireless networks with bandwidth asymmetry between uplink and downlink. IEEE Trans. Veh. Technol. 55, 360\u2013368 (2006)","journal-title":"IEEE Trans. Veh. Technol."},{"issue":"10","key":"2_CR17","doi-asserted-by":"crossref","first-page":"1522","DOI":"10.1002\/dac.2415","volume":"27","author":"F Zarai","year":"2014","unstructured":"Zarai, F., Ben Ali, K., Obaidat, M.S., Kamoun, L.: Adaptive call admission control in 3GPP LTE networks. Int. J. Commun. Syst. 27(10), 1522\u20131534 (2014). Wiley","journal-title":"Int. J. Commun. Syst."}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66176-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:30:30Z","timestamp":1750804230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66176-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661759","9783319661766"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66176-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}