@inbook{MP04,
author={A. Miner and D. Parker},
chapter={Symbolic Representations and Analysis of Large Probabilistic Systems},
title={Validation of Stochastic Systems: A Guide to Current Research},
year={2004},

editor={C. Baier and B. Haverkort and H. Hermanns and J-P. Katoen and M. Siegle},
pages={296--338},
organization={},
publisher={Springer},
series={Lecture Notes in Computer Science (Tutorial Volume)},
volume={2925},
month={},
note={},
key={}
}