author = { Bin, Eyal AND Ur, Shmuel AND Ziv, Avi },

title = { Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers },

publisher = {Springer Berlin Heidelberg},

isbn = {9783540708896},

keywords = { Logic design , Computer Science , Computer science , Software engineering , Compilers (Computer programs). , Konferenzschrift 2006 Haifa , Hardwareverifikation , Korrektheit , Programmverifikation , Softwaretest , Multithreading , Debugging , Programmanalyse , System-on-Chip , Model Checking , Benchmark },

year = {2007},

booktitle = {Lecture Notes in Computer Science ; 4383},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },