Publisher
Springer International Publishing
Reference31 articles.
1. Lecture Notes in Computer Science;P Ashok,2018
2. Baier, C., de Alfaro, L., Forejt, V., Kwiatkowska, M.: Model checking probabilistic systems. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 963–999. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_28
3. Baier, C., Hahn, E.M., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model checking for performability. Math. Struct. Comput. Sci. 23(4), 751–795 (2013)
4. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov Chains. IEEE Trans. Softw. Eng. 29(6), 524–541 (2003)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs;2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC);2021-12
2. Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs;Theoretical Aspects of Computing – ICTAC 2021;2021