New Hardware Design Methods 1998
Bernhard Möller, J. V. Tucker (Eds.):
Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters.
Lecture Notes in Computer Science 1546 Springer 1998, ISBN 3-540-65461-5 BibTeX
@proceedings{DBLP:conf/nada/1998,
editor = {Bernhard M{\"o}ller and
J. V. Tucker},
title = {Prospects for Hardware Foundations, ESPRIT Working Group 8533,
NADA - New Hardware Design Methods, Survey Chapters},
booktitle = {Prospects for Hardware Foundations},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1546},
year = {1998},
isbn = {3-540-65461-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Mathematical Foundations
Hardware and Dynamical Systems
Verification and Deductive Design
Copyright © Sat May 16 23:31:08 2009
by Michael Ley (ley@uni-trier.de)
