Heinz Treseler

	2001
2		Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang: An Open Software Architecture for the Verification of Industrial Controllers. J. UCS 7(1): 37-53 (2001)
	1997
1		Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler: A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems 1997: 163-185

Coauthor Index

1	Paul W. H. Chung	[2]
2	Martin Fritz	[1]
3	Holger Graf	[1]
4	Ingo Hoffmann	[1]
5	Stefan Kowalewski	[1]
6	Jörg Preußig	[1]
7	Manuel Remelhe	[1]
8	Silke Simon	[1]
9	Olaf Stursberg	[1] [2]
10	Shuang-Hua Yang	[2]