@InProceedings{SVA05,
author={K. Sen and M. Viswanathan and G. Agha},
title={On statistical model checking of stochastic systems},
booktitle={Proc. 17th International Conference on Computer Aided Verification (CAV'05)},
year={2005},

editor={},
pages={266--280},
organization={},
publisher={Springer},
series={LNCS},
volume={3576},
address={},
_month={},
note={},
key={}
}