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