|
[BKH99]
C. Baier, J.-P. Katoen and H. Hermanns .
Approximate Symbolic Model Checking of Continuous-Time Markov Chains.
In J. Baeten and S. Mauw (editors), Proc. 10th International Conference on Concurrency Theory (CONCUR'99), volume 1664 of LNCS, pages 146-161, Springer.
1999.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|