A formal approach to hardware analysis
The work
| Authors | Niklas Gerard Traub |
|---|---|
| Editors | |
| Type | phdthesis |
| Year | 1986 |
| Citekey | traub1986formal |
Where it appeared
| School | University of Edinburgh |
|---|
Access
| Free full text | https://era.ed.ac.uk/bitstreams/34dc19b3-a968-410e-b4e1-0fd921672e5d/download |
|---|
Settled
| Abstract | No identifier on this record and no copy held, so there is nothing to ask a catalogue about. 'A formal approach to hardware analysis' is four generic words — the same shape of title that made a blind search bind turing1949checking to a haematology paper today — so it must not be searched on. |
|---|---|
| Container | A PhD thesis is not published inside anything; the awarding institution belongs in school. |
A copy is held
pdf, 7.1 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-13 00:00 UTC |
| Approved by | a person 2026-09-01 17:04 UTC |
Filed under
Cite it as
@phdthesis{traub1986formal,
title = {A formal approach to hardware analysis},
author = {Niklas Gerard Traub},
year = {1986},
school = {University of Edinburgh},
}
This record lives at https://refs.drheap.org/traub1986formal/ and will keep doing so.