@InProceedings{HMKS99,
author={H. Hermanns and J. Meyer-Kayser and M. Siegle},
title={Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time {M}arkov Chains},
booktitle={Proc. 3rd International Workshop on Numerical Solution of {Markov} Chains (NSMC'99)},
year={1999},

editor={B. Plateau and W. Stewart and M. Silva},
pages={188--207},
organization={},
publisher={Prensas Universitarias de Zaragoza},
_address={Zaragoza},
month={},
note={},
key={}
}