Publisher
Springer International Publishing
Reference18 articles.
1. Alasti, M., Neekzad, B., Hui, J., Vannithamby, R.: Quality of service in WiMAX and LTE networks. IEEE Commun. Mag. 48(5), 104–111 (2010)
2. AlQahtani, S.A.: Delay aware and users categorizing-based call admission control for multi-services LTE-A networks. AJSE 41(9), 3631–3644 (2016)
3. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. Comp. Logic 1(1), 162–170 (2000)
4. Clarke, E.M., Emerson, A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Languag. Syst. 8(2), 244–263 (1986)
5. Haverkort, B., Cloth, L., Hermanns, H., Katoen, J.P., Baier, E.C.: Model checking performability properties. In: Proceedings of the DSN, pp. 103–112. IEEE CS Press (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献