TY  - CHAP
A1  - Thums, Andreas
A1  - Schellhorn, Gerhard
A2  - Schnieder, Eckehard
T1  - Formal safety analysis in transportation control
T2  - International Workshop on Software Specification of Safety Relevant Transportation Control Tasks : 23 - 24 April 2002, Braunschweig
Y1  - 2003
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35684
SN  - 978-3-18-353512-5
PB  - VDI-Verlag
CY  - Düsseldorf
ER  -