APA (7th ed.) Citation

Dorfhuber, F., Eisentraut, J., Klioba, K., & Kretinsky, J. (2024). QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Chicago Style (17th ed.) Citation

Dorfhuber, Florian, Julia Eisentraut, Katharina Klioba, and Jan Kretinsky. QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. 2024.

MLA (9th ed.) Citation

Dorfhuber, Florian, et al. QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. 2024.