TY  - RPRT
TI  - Querying Fault and Attack Trees: Property Specification on a Water Network
AU  - Stefano M. Nicoletti
AU  - Milan Lopuhaä-Zwakenberg
AU  - E. Moritz Hahn
AU  - Mariëlle Stoelinga
PY  - 2024
UR  - https://arxiv.org/abs/2401.16015
ID  - 2401.16015
ER  -