Probabilistic Models for the Verification of Human-Computer Interaction

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Markus Wagner
In:KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI
Publisher:Springer
Series:LNCS 5803
Year:2009
Pages:687-694

BibTeX

@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},
  date      = {September 15-18},
  place     = {Paderborn, Germany},
  month     = sep
}