@InProceedings{BW09,
author={B. Beckert and M. Wagner},
title={Probabilistic Models for the Verification of Human-Computer Interaction},	
booktitle={Proc. 32nd Annual German Conference on Artificial Intelligence},
year={2009},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}