Lecture Notes in Informatics
Ausgezeichnete Informatikdissertationen 2006 D-7, 29-38 (2006).
Gesellschaft fuer Informatik, Bonn
2006
Editors
Dorothea Wagner (ed.)
Copyright © Gesellschaft fuer Informatik, Bonn
Contents
Increasing Robustness and Usability of Circuit Design Tools by Using Formal Techniques
Görschwin Fey
Full Text:
PDF
Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-411-0
Last changed 03.11.2010 15:09:08
