@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 }
Probabilistic Models for the Verification of Human-Computer Interaction
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 |