Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/corr/abs-2309-09231
%A Nicoletti, Stefano M.
%A Lopuhaä-Zwakenberg, Milan
%A Hahn, Ernst Moritz
%A Stoelinga, Mariëlle
%D 2023
%J CoRR
%K dblp
%T ATM: a Logic for Quantitative Security Properties on Attack Trees.
%U http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-09231
%V abs/2309.09231
@article{journals/corr/abs-2309-09231,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, Ernst Moritz and Stoelinga, Mariëlle},
biburl = {https://www.bibsonomy.org/bibtex/2aa7f5f77eb9417bac51ea5bc96fda4be/dblp},
ee = {https://doi.org/10.48550/arXiv.2309.09231},
interhash = {65049a3dbe757405024d5b44d4c427de},
intrahash = {aa7f5f77eb9417bac51ea5bc96fda4be},
journal = {CoRR},
keywords = {dblp},
timestamp = {2024-05-13T07:39:49.000+0200},
title = {ATM: a Logic for Quantitative Security Properties on Attack Trees.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-09231},
volume = {abs/2309.09231},
year = 2023
}