| |
| 1997 | ||
|---|---|---|
| 5 | Peter Scholz, Dieter Nazareth: Communication Concepts for Statecharts: A Semantic Foundation. ARTS 1997: 126-140 | |
| 1996 | ||
| 4 | Dieter Nazareth: Specifying Type Systems. ALP 1996: 314-329 | |
| 3 | Dieter Nazareth: The Semantic Treatment of Polymorphic Specification Languages. ALP 1996: 330-344 | |
| 2 | Dieter Nazareth, Tobias Nipkow: Formal Verification of Algorithm W: The Monomorphic Case. TPHOLs 1996: 331-345 | |
| 1995 | ||
| 1 | Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch: AVL Trees Revisited: A Case Study in SPECTRUM. KORSO Book 1995: 128-149 | |
| 1 | Rudi Hettler | [1] |
| 2 | Tobias Nipkow | [2] |
| 3 | Franz Regensburger | [1] |
| 4 | Peter Scholz | [5] |
| 5 | Oscar Slotosch | [1] |