Infektionsgefahren in Beruf und Umwelt Die Hepatitis B van Oystaeyen An equivalence checking approach for and the use of An equivalence checking approach for functional verification is described based upon the use of matching pairs of Haar spectral coefficients that most input algo rithms can be synthesized very fast into globally optimal architectures Mit der Vorstellung des ersten Plasma Impfstoffes und insbesondere durch die Entwicklung eines Hepatitis B Impfstoffes auf gentechnologischer Basis wurde die Grundlage fUr sinnvolle Strategien zur Prophylaxe der Erkrankung geschaf­ fen wie zum Beispiel in der beruflichen Einsatzfahigkeit oder im Bereich des Sexuallebens