Ohad Shacham, Karen Yorav
On-The-Fly Resolve Trace Minimization
DAC, 2007.
@inproceedings{DAC-2007-ShachamY,
author = "Ohad Shacham and Karen Yorav",
booktitle = "{Proceedings of the 44th Design Automation Conference}",
doi = "10.1145/1278480.1278630",
pages = "594--599",
publisher = "{IEEE}",
title = "{On-The-Fly Resolve Trace Minimization}",
year = 2007,
}