|
[Hav01]
B. Haverkort.
Markovian models for performance and dependability evaluation.
In Proc. Lectures on Formal Methods and Performance Analysis, volume 2090 of LNCS, pages 38-83, Springer.
2001.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|