@inbook{Meh04a,
author={R. Mehmood},
chapter={Serial Disk-based Analysis of Large Stochastic Models},
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={230--255},
organization={},
publisher={Springer},
series={Lecture Notes in Computer Science (Tutorial Volume)},
volume={2925},
month={},
note={},
key={}
}