Scott F. Smith, Amy E. Zwarico. Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Formal Methods in System Design, 7(3):155-226, 1995.
@article{SmithZ95,
title = {Correct Compilation of Specifications to Deterministic Asynchronous Circuits},
author = {Scott F. Smith and Amy E. Zwarico},
year = {1995},
tags = {e-science},
researchr = {https://researchr.org/publication/SmithZ95},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {7},
number = {3},
pages = {155-226},
}