@doctoralThesis{Dalinger_2006,
title={Formal verification of a processor with memory management units},
author={Dalinger, Iakov},
doi={http://dx.doi.org/10.22028/D291-25849},
subtitle={Formale Verifikation eines Prozessors mit Memory Management Units},
year={2006}
}