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