Author:
Baier Christel,Haverkort Boudewijn,Hermanns Holger,Katoen Joost-Pieter
Publisher
Springer Berlin Heidelberg
Reference59 articles.
1. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Model checking continuous time Markov chains. ACM Transactions on Computational Logic, 1(1): 162–170, 2000.
2. Lect Notes Comput Sci;C. Baier,1999
3. Lect Notes Comput Sci;C. Baier,2000
4. Lect Notes Comput Sci;C. Baier,2000
5. C. Baier, B.R. Haverkort, H. Hermanns, and J.-P. Katoen. Model checking algorithms for continuous-time Markov chains. Technical report TR-CTIT-02-10. Centre for Telematics and Information Technology, University of Twente. 2001.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference;Quantitative Evaluation of Systems;2018
2. Constructive model-based analysis for safety assessment;International Journal on Software Tools for Technology Transfer;2012-07-06
3. Trading Dependability and Performance;A Process Algebraic Approach to Software Architecture Design;2009-10-03
4. Component-Oriented Performance Evaluation;A Process Algebraic Approach to Software Architecture Design;2009-10-03
5. Towards Model Checking Stochastic Aspects of the thinkteam User Interface;Interactive Systems. Design, Specification, and Verification;2006