@phdthesis{Jac02,
AUTHOR = {Jacobi, Christian},
TITLE = {Formal Verification of a Fully IEEE Compliant Floating Point Unit},
YEAR = {2002},

Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Jac02.pdf},
SCHOOL = {Saarland University},
}