@doctoralThesis{Kröning_2001,
title={Formal verification of pipelined microprocessors},
author={Kröning, Daniel},
doi={http://dx.doi.org/10.22028/D291-25709},
subtitle={Formale Verifikation von Mikroprozessoren mit Pipeline},
year={2001}
}