TY  - RPRT
TI  - Is my attack tree correct? Extended version
AU  - Maxime Audinot
AU  - Sophie Pinchinat
AU  - Barbara Kordy
PY  - 2018
UR  - https://arxiv.org/abs/1706.08507
ID  - 1706.08507
ER  -