|
[ASSB96]
A. Aziz, K. Sanwal, V. Singhal and R. Brayton.
Verifying Continuous Time Markov Chains.
In R. Alur and T. Henzinger (editors), Proc. 8th International Conference on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pages 269--276, Springer.
1996.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|