TY - CONF A1 - Stahl, C. A1 - Reisig, W. A1 - Krstic, Milos T1 - Hazard Detection in GALS Wrapper: A Case Study Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/5920 ER -