@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
}