|
[BHHK00a]
C. Baier, B. Haverkort, H. Hermanns and J.-P. Katoen.
Model Checking Continuous-Time Markov Chains by Transient Analysis.
In A. Emerson and A. Sistla (editors), Proc. 12th International Conference on Computer Aided Verification (CAV'00), volume 1855 of LNCS, pages 358--372, Springer.
2000.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|