Guaranteeing Consistency in Text-Based Human-Computer Interaction

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Gerd Beuster
In:International Workshop on Formal Methods for Interactive Systems (FMIS 2006)
Jahr:2006

BibTeX

@inproceedings{BeckertBeusterFMIS2006,
  author    = {Bernhard Beckert and Gerd Beuster},
  title     = {Guaranteeing Consistency in Text-Based Human-Computer Interaction},
  booktitle = {International Workshop on Formal Methods
               for Interactive Systems ({FMIS} 2006)},
  place     = {Macao, SAR, China},
  editors   = {Antonio Cerone and Paul Curzon},
  year      = {2006}
}