Meera Balakrishnan
-
Semi-numerical transient analysis of Markov models
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference