@InProceedings{EK19,
author={Julia Eisentraut and Jan Kretinsky},
title={Expected Cost Analysis of Attack-Defense Trees},
booktitle={Proc. 17th International Conference on Quantitative Evaluation of Systems (QEST'19)},
year={2019},

editors={},
pages={203-221},
organization={},
publisher={Springer},
series={LNCS},
volume={11785},
address={},
month={},
note={},
key={}
}