@InProceedings{YKNP04,
author={H. Younes and M. Kwiatkowska and G. Norman and D. Parker},
title={Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study},
booktitle={Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04)},
year={2004},

editor={K. Jensen and A. Podelski},
pages={46--60},
organization={},
publisher={Springer},
series={LNCS},
volume={2988},
address={},
month={},
note={},
key={}
}