@InProceedings{KLV11,
author={J. A. Kumar and L. Liu and S. Vasudevan},
title={Scaling Probabilistic Timing Verification of Hardware Using Abstractions in Design Source Code},
booktitle={Proc. 11th International Conference on Formal Methods in Computer-Aided Design (FMCAD'11)},
year={2011},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}