C. Han Yang, David L. Dill
Validation with Guided Search of the State Space
DAC, 1998.
@inproceedings{DAC-1998-YangD,
author = "C. Han Yang and David L. Dill",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277201",
isbn = "0-89791-964-5",
pages = "599--604",
publisher = "{ACM Press}",
title = "{Validation with Guided Search of the State Space}",
year = 1998,
}