@InProceedings{You05,
author={H. Younes},
title={Ymer: A Statistical Model Checker},
booktitle={Proc. 17th International Conference on Computer Aided Verification (CAV'05)},
year={2005},

editor={},
pages={429--433},
organization={},
publisher={Springer},
series={LNCS},
volume={3576},
address={},
_month={July},
note={},
key={}
}