Probabilistic Models for the Verification of Human-Computer Interaction

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Markus Wagner
In:KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI
Verleger:Springer
Reihe:LNCS 5803
Jahr:2009
Seiten: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
}