Browse by Person (creator, editor, contributor, etc.)
Up a level |
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 03029743. (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) |