@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},
URL = {http:///publikationen/Ja02.pdf},
SERIES = {LNCS},
BOOKTITLE = {Computer Aided Verification (CAV 02)},
PUBLISHER = {Springer},
}