@INPROCEEDINGS{SudeikatBraubachPokahrLamersdorf2006,
  author    = {Jan Sudeikat and Lars Braubach and Alexander Pokahr and Winfried Lamersdorf},
  title     = {Validation of BDI Agents},
  booktitle = {The 4th International Workshop on Programming Multiagent Systems (PROMAS-2006)},
  year      = {2006},
  editor    = {R. Bordini, M. Dastani, J. Dix, A. El Fallah Seghrouchni},
  pages     = {185-200},
  publisher = {Springer}
}