TY  - RPRT
TI  - Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent - Technical Report with Proofs
AU  - Barbara Kordy
AU  - Sjouke Mauw
AU  - Matthijs Melissen
AU  - Patrick Schweitzer
PY  - 2011
DO  - 10.1007/978-3-642-17197-0
UR  - https://arxiv.org/abs/1006.2732
ID  - 1006.2732
ER  -