@InProceedings{cj02_pipe,
author = {Christian Jacobi},
title = {Formal Verification of Complex Out-of-order Pipelines
by Combining Model-Checking and Theorem-Proving},
booktitle = {Computer Aided Verification (CAV 2002)},
pages = {309--323},
year = {2002},
volume = {2404},
series = {LNCS},
publisher = {Springer}
}