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