C. A. J. van Eijk
Sequential Equivalence Checking without State Space Traversal
DATE, 1998.
@inproceedings{DATE-1998-Eijk,
author = "C. A. J. van Eijk",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655922",
pages = "618--623",
publisher = "{IEEE Computer Society}",
title = "{Sequential Equivalence Checking without State Space Traversal}",
year = 1998,
}