TY - THES A1 - Mertke, Thomas T1 - Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache T1 - A Technical Language for Formal Safety Specification of Reactive Systems Y1 - 2004 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/1771 SN - 3-8322-3085-8 PB - Shaker Verlag CY - Aachen ER -