A. V. Ramesh, Kishor S. Trivedi. Semi-numerical transient analysis of Markov models. In Robert Geist, editor, Proceedings of the 33th Annual Southeast Regional Conference, 1995, Clemson, South Carolina, USA, March 17-18, 1995. pages 13-23, ACM, 1995. [doi]
Abstract is missing.