Author:
Dulat Falko,Katoen Joost-Pieter,Nguyen Viet Yen
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Abdallah, H., Marie, R.: The uniformized power method for transient solutions of Markov processes. Computers & Operations Research 20(5), 515–526 (1993)
2. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. on Softw. Eng. 29(6), 524–541 (2003)
3. Lecture Notes in Computer Science;D. Bosnacki,2009
4. Lecture Notes in Bioinformatics;H. Busch,2006
5. Carrasco, J.A.: Transient analysis of rewarded continuous time Markov models by regenerative randomization with laplace transform inversion. The Conputer Journal 46(1), 84–99 (2003)