@inproceedings{KI08,
  author    = {Lassaad Cheikhrouhou and
               Andreas Nonnengart and
               Werner Stephan and
               Frank Koob and
               Georg Rock},
  title     = {Automating Interactive Protocol Verification},
  booktitle = {KI 2008: Advances in Artificial Intelligence, 31st Annual
               German Conference on AI, KI 2008, Kaiserslautern, Germany,
               September 23-26, 2008. Proceedings},
  year      = {2008},
  publisher = {Springer, Lecture Notes in Computer Science, Volume 5243},
  pages     = {30-37}
}