Eric Verlind, Gjalt G. de Jong, Bill Lin
Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems
DAC, 1996.
@inproceedings{DAC-1996-VerlindJL,
author = "Eric Verlind and Gjalt G. de Jong and Bill Lin",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240529",
isbn = "0-89791-779-0",
pages = "55--58",
publisher = "{ACM Press}",
title = "{Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems}",
year = 1996,
}