@InProceedings{beckertWagner09,
  title =	"Probabilistic Models for the Verification of Human-Computer Interaction",
  author =	"Bernhard Beckert and Markus Wagner",
  booktitle =	"Advances in Artificial Intelligence, 32nd
		 Annual German Conference on {AI}, {KI} 2009,
		 Paderborn, Germany, September 15-18, 2009.
		 Proceedings",
  publisher =	"Springer",
  year = 	"2009",
  volume =	"5803",
  editor =	"Andreas Dengel and others",
  ISBN = 	"978-3-642-04616-2",
  pages =	"687--694",
  series =	"Lecture Notes in Artificial Intelligence",
}