共 50 条
- [45] A Probabilistic Logic for Verifying Continuous-time Markov Chains TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022, 13244 : 3 - 21
- [47] STABILITY OF CONTINUOUS-TIME NONHOMOGENEOUS MARKOV-CHAINS IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1991, (07): : 33 - 39
- [49] Application of continuous-time Markov chains by reliability analysis 2009 7TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS, 2009, : 56 - 59