%0 Generic %E Borrione, Dominique. %E Paul, Wolfgang J., %@ 9783540320302 %@ 354032030X %@ 3540291059 %@ 9783540291053 %@ 6611391347 %@ 9786611391348 %T Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/11560548