Certified Software for Designing Asynchronous Circuits
The work
| Authors | Brittany Ro Nkounkou |
|---|---|
| Editors | |
| Type | phdthesis |
| Year | 2020 |
| Citekey | nkounkou2020certified |
Where it appeared
| School | Cornell University |
|---|
Related
| Distinct from | garavel2009semantics |
|---|
A copy is held
pdf, 338.5 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-22 19:26 UTC |
| Approved by | a person 2026-10-22 21:05 UTC |
Filed under
Cite it as
@phdthesis{nkounkou2020certified,
title = {Certified Software for Designing Asynchronous Circuits},
author = {Brittany Ro Nkounkou},
year = {2020},
school = {Cornell University},
}
This record lives at https://refs.drheap.org/nkounkou2020certified/ and will keep doing so.