Publications of Bernhard Beckert sorted by title
F
Formalising Control in Robust Spoken Dialogue Systems, in: Software Engineering and Formal Methods 2005, pages 332-341, IEEE Computer Society, 2005 | , and ,
T
The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 | , and ,
[URL] |
V
Verschiedene Beiträge, in: Wörterbuch der Kognitionswissenschaft, Klett-Cotta, Stuttgart, 1996 | ,