%0
Generic
%T
Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
%A Margaria-Steffen, Tiziana
%A Melham, Tom
%I Springer-Verlag Berlin Heidelberg
%@ 9783540447986
%@ 3540425411
%K Artificial intelligence
%K Computer aided design
%K Logic design
%K Computer hardware
%K Architecture, Computer.
%K Computer logic.
%K Computer science
%K Software engineering
%K Computer Science
%K Computers.
%K Computer systems.
%K Konferenzschrift 2001 Livingston, Lothian Region
%K Konferenzschrift Lothian Region, 2001 Livingston
%K Hardwareentwurf
%K Formale Methode
%K Hardwareverifikation
%K Model Checking
%K Top-down-Verfahren
%D 2001
%C Springer-Verlag Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2