The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Provably correct synthesis of asynchronous circuits
The work
| Authors | Scott F Smith; Amy E Zwarico |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1992 |
| Citekey | smith1992provably |
Where it appeared
| Published in | Designing Correct Circuits |
|---|---|
| Volume | 5 |
| Pages | 237--260 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-25 22:45 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@incollection{smith1992provably,
title = {Provably correct synthesis of asynchronous circuits},
author = {Scott F Smith and Amy E Zwarico},
year = {1992},
booktitle = {Designing Correct Circuits},
volume = {5},
pages = {237--260},
}
This record lives at https://refs.drheap.org/smith1992provably/ and will keep doing so.