|
[HHK00]
B. Haverkort, H. Hermanns and J.-P. Katoen.
On the Use of Model Checking Techniques for Dependability Evaluation.
In Proc. 19th IEEE Symposium on Reliable Distributed Systems (SRDS'00), pages 228--237.
October 2000.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|