@InProceedings{dAKN+00,
author={L. de Alfaro and M. Kwiatkowska and G. Norman and D. Parker and R. Segala},
title={Symbolic Model Checking of Probabilistic Processes Using {MTBDD}s and the {K}ronecker Representation},
booktitle={Proc. 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'00)},
year={2000},

editor={S. Graf and M. Schwartzbach},
pages={395--410},
organization={},
publisher={Springer},
series={LNCS},
volume={1785},
_address={Berlin},
_month={March},
note={},
key={}
}