@inproceedings{KoPoSc,
  author        = {Barbara Kordy and Marc Pouly and Patrick Schweitzer},
  title         = {{Computational Aspects of Attack--Defense Trees}},
  booktitle     = {Security \& Intelligent Information Systems},
  publisher     = {Springer},
  pages         = {103--116},
  year          = {2012},
  volume        = {7053},
  series        = {LNCS},
  url           = {http://satoss.uni.lu/members/barbara/papers/SIIS11.pdf},
  project       = {atrees},
  ulkey         = {Kordy:7129}
}