@InProceedings{YS02,
author={H. Younes and R. Simmons},
title={Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling},
booktitle={Proc. 14th International Conference on Computer Aided Verification (CAV'02)},
year={2002},

editor={E. Brinksma and K. Larsen},
pages={223--235},
organization={},
publisher={Springer},
series={LNCS},
volume={2404},
address={},
_month={July},
note={},
key={}
}