@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)},
venue = {Macao, {SAR}, China},
editors = {Antonio Cerone and Paul Curzon},
year = {2006}
}
Guaranteeing Consistency in Text-Based Human-Computer Interaction
| Autor(en): | Bernhard Beckert und Gerd Beuster |
|---|---|
| In: | International Workshop on Formal Methods for Interactive Systems (FMIS 2006) |
| Jahr: | 2006 |