Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. 1998
|
Hanna, Keith
(1998)
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.
ISBN 0302-9743.
The full text of this publication is not available from this repository.
|
|
This list was generated on Thu May 23 23:10:37 2013 BST. |
