Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Reasoning about imperfect digital systems.
In: Moller, Bernhard Moller and Tucker, John V, eds.
Prospects for Hardware Foundations.
Lecture Notes in Computer Science, 1546
Springer-Verlag Berlin, Berlin, pp. 333-355.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)