Cost-Optimal Symbolic Abduction for Improved Security (bibtex)

by Edelkamp, Stefan, Wagner, Thomas and Kissmann, Peter

Reference:

Edelkamp, Stefan, Wagner, Thomas and Kissmann, Peter, "Cost-Optimal Symbolic Abduction for Improved Security", In ICAPS, 2009.

Bibtex Entry:

@INPROCEEDINGS{Edelkamp,
  author = {Edelkamp, Stefan and Wagner, Thomas and Kissmann, Peter},
  title = {{Cost-Optimal Symbolic Abduction for Improved Security}},
  booktitle = {ICAPS},
  year = {2009},
  owner = {pmania},
  timestamp = {2012.11.06}
}