TY  - GEN
A1  - Wenzl, Matthias
A1  - Fibich, Christian
A1  - Rössler, Peter
A1  - Taucher, Herbert
A1  - Matschnig, Martin
T1  - Logic Synthesis of Assertions for Saftey-critical Applications
KW  - Safety
Y1  - 
UR  - http://opus.technikum-wien.at/frontdoor/index/index/docId/499
ER  -