@inproceedings{KoMaSc-ICISC,
  author        = {Barbara Kordy and Sjouke Mauw and Patrick Schweitzer},
  title         = {{Quantitative Questions on Attack--Defense Trees}},
  booktitle     = {ICISC},
  editor        = {Taekyoung Kwon and Mun-Kyu Lee and Daesung Kwon},
  year          = {2013},
  volume        = {7839},
  series        = {LNCS},
  pages         = {49--64},
  project       = {atrees},
  publisher     = {Springer}
}