TY  - JOUR
A1  - Thums, Andreas
A1  - Schellhorn, Gerhard
T1  - Model checking FTA
T2  - Lecture Notes in Computer Science
Y1  - 2003
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35619
SN  - 978-3-540-40828-4
VL  - 2805
SP  - 739
EP  - 757
PB  - Springer
ER  -