|
[HCH+02]
B. Haverkort, L. Cloth, H. Hermanns, J.-P. Katoen and C. Baier.
Model Checking Performability Properties.
In Proc. International Conference on Dependable Systems and Networks (DSN'02), IEEE CS Press.
2002.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|