Vinh Vi Lam, William H. Sanders, Peter Buchholz. A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. In 2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings. pages 485-494, IEEE Computer Society, 2006. [doi]
Abstract is missing.