Probabilistic Models for the Verification of Human-Computer Interaction

@inproceedings{BeckertWagner09,
  author    = {Bernhard Beckert and Markus Wagner},
  title     = {Probabilistic Models for the Verification of 
               Human-Computer Interaction},
  booktitle = {KI 2009: Advances in Artificial Intelligence, 32nd Annual
               German Conference on AI},
  editor    = {B{\"a}rbel Mertsching and Marcus Hund and Muhammad Zaheer Aziz},
  publisher = {Springer},
  series    = {LNCS 5803},
  pages     = {687--694},
  year      = {2009},
  eventdate = {2009-09-15/2009-09-18},
  venue     = {Paderborn, Germany},
  month     = sep
}