Dieter Nazareth

	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

Coauthor Index

1	Rudi Hettler	[1]
2	Tobias Nipkow	[2]
3	Franz Regensburger	[1]
4	Peter Scholz	[5]
5	Oscar Slotosch	[1]

Colors in the list of coauthors