@doctoralThesis{Gebhard_2013,
title={Static timing analysis tool validation in the presence of timing anomalies},
author={Gebhard, Gernot},
doi={http://dx.doi.org/10.22028/D291-26546},
subtitle={Validierung statischer Zeitanalysen im Kontext von Timing Anomalien},
year={2013}
}