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