Kelly and Steinberg. "The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications." AAAI Conference on Artificial Intelligence, 1982.
Markdown
[Kelly and Steinberg. "The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications." AAAI Conference on Artificial Intelligence, 1982.](https://mlanthology.org/aaai/1982/kelly1982aaai-critter/)
BibTeX
@inproceedings{kelly1982aaai-critter,
title = {{The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications}},
author = {Kelly, Van E. and Steinberg, Louis I.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1982},
pages = {284-289},
url = {https://mlanthology.org/aaai/1982/kelly1982aaai-critter/}
}