Jeffrey Walrath, Ranga Vemuri, W. Bradley
Performance verification using partial evaluation and interval analysis
DATE, 1997.
@inproceedings{EDTC-1997-WalrathVB,
author = "Jeffrey Walrath and Ranga Vemuri and W. Bradley",
booktitle = "{Proceedings of the Second European Design and Test Conference}",
doi = "10.1109/EDTC.1997.582435",
pages = "622",
publisher = "{IEEE}",
title = "{Performance verification using partial evaluation and interval analysis}",
year = 1997,
}