共 50 条
- [2] Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains 2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2014), 2014, : 116 - 124
- [5] Approximate symbolic model checking of continuous-time Markov chains CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 146 - 161
- [8] Filtering of Continuous-Time Markov Chains Mathematical and Computer Modelling (Oxford), 26 (12):