Other formats:
BibTeX
LaTeX
RIS
@inproceedings{2418057,
author = {Dorfhuber, Florian Sebastian and Eisentraut, Julia and Klioba, Katharina and Křetínský, Jan},
address = {QEST 2024},
doi = {http://dx.doi.org/15605},
howpublished = {elektronická verze "online"},
language = {eng},
location = {QEST 2024},
publisher = {Springer},
title = {QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification},
url = {https://www.qest-formats.org/papers.html},
year = {2024}
}
TY - JOUR
ID - 2418057
AU - Dorfhuber, Florian Sebastian - Eisentraut, Julia - Klioba, Katharina - Křetínský, Jan
PY - 2024
TI - QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
PB - Springer
CY - QEST 2024
UR - https://www.qest-formats.org/papers.html
ER -
DORFHUBER, Florian Sebastian, Julia EISENTRAUT, Katharina KLIOBA and Jan KŘETÍNSKÝ. \textit{QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification}. Online. QEST 2024: Springer, 2024. Available from: https://dx.doi.org/15605.
|
