@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}
}