%0 Book

%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 International Federation for Information Processing Working Group Very Large Scale Integration

%A CHARME 11 2001 Livingston, Scotland

%A Margaria-Steffen, Tiziana

%A Melham, T. F.

%I Springer

%@ 3540425411

%@ 9783540425410

%K Integrated circuits Very large scale integration Computer-aided design Congresses

%K Integrated circuits Verification Congresses

%K Konferenzschrift 2001 Livingston, Lothian Region

%K Hardwareentwurf

%K Formale Methode

%K Hardwareverifikation

%K Model Checking

%K Top-down-Verfahren

%D [2001]

%X Literaturangaben

%C Springer

%C Berlin

%U http://slubdd.de/katalog?TN_libero_mab2