@Article{HKN+03,
author={H. Hermanns and M. Kwiatkowska and G. Norman and D. Parker and M. Siegle},
title={On the use of {MTBDD}s for Performability Analysis and Verification of Stochastic Systems},
journal={Journal of Logic and Algebraic Programming: Special Issue on Probabilistic Techniques for the Design and Analysis of Systems},
year={2003},

volume={56},
number={1-2},
pages={23--67},
month={},
note={},
key={}
}