TY - GEN A1 - Langendörfer, Peter A1 - Lehmann, Martin T1 - Implementation Independent Profiling of SDL Specifications Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/5914 ER -