Author:
Haverkort B.,Cloth L.,Hermanns H.,Katoen J.-P.,Baier C.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performability analysis of multi-service call admission control schemes in LTE networks;International Journal of General Systems;2023-10-23
2. Performance Evaluation of Call Admission Control Strategy in Cloud Radio Access Network using Formal Methods;Proceedings of the 17th International Conference on Software Technologies;2022
3. Model Checking the Multi-Formalism Language FIGARO;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2021-06
4. Computation tree measurement language (CTML);Formal Aspects of Computing;2018-08
5. Bisimulations, logics, and trace distributions for stochastic systems with rewards;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11