@inproceedings{wagner09gi,
  author    = {Markus Wagner},
  title     = {Probabilistic User Models for the Verification of Human-Computer Interaction},
  booktitle = {Informatiktage},
  year      = {2009},
  pages     = {139-142},
  booktitle = {Informatiktage 2009. Fachwissenschaftlicher Informatik-Kongress,
               27. und 28. M{\"a}rz 2009, B-IT Bonn-Aachen International
               Center for Information Technology in Bonn},
  publisher = {Köllen Druck + Verlag GmbH},
  editor    = {{Gesellschaft für Informatik e.V.}},
  series    = {Lecture Notes in Informatics},
  volume    = {S-8},
  year      = {2009},
  isbn      = {978-3-88579-442-4},
  issn      = {1614-3213}
}