@incollection{GFD:2011,
author = {Daniel Große and Goerschwin Fey and Rolf Drechsler},
title = {Enhanced Formal Verification Flow for Circuits Integrating Debugging.},
year = {2011},
pages = {119-129},
note = {gfey, CE},
howpublished = {11-999 GFD:2011 {DESIGN AND TEST TECHNOLOGY FOR DEPENDABLE SYSTEMS-ON-CHIP}},
booktitle = {Design and Test Technology for Dependable Systems-on-Chip}
}

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