@unpublished{DF:2009,
author = {Rolf Drechsler and Goerschwin Fey},
title = {Formale Verifikation und Robustheit (Tutorial).},
year = {2009},
note = {gfey, CE},
howpublished = {09-999 DF:2009}
}

@COMMENT{Bibtex file generated on 2026-6-29 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/de/home/publications }