Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Engineering Change in a Non-Deterministic FSM Setting
DAC, 1996.
@inproceedings{DAC-1996-KhatriNKMBS,
author = "Sunil P. Khatri and Amit Narayan and Sriram C. Krishnan and Kenneth L. McMillan and Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240604",
isbn = "0-89791-779-0",
pages = "451--456",
publisher = "{ACM Press}",
title = "{Engineering Change in a Non-Deterministic FSM Setting}",
year = 1996,
}