@inproceedings{Ja02,
AUTHOR = {Jacobi, Christian},
TITLE = {Formal Verification of Complex Out-of-order Pipelines by Combining Model-Checking and Theorem-Proving},
VOLUME = {2404},
YEAR = {2002},
PAGES = {309-323},

Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Ja02.pdf},
SERIES = {LNCS},
BOOKTITLE = {Computer Aided Verification (CAV 02)},
PUBLISHER = {Springer},
}