Manuel Remelhe

	2004
2		Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540
	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	Nanette Bauer	[2]
2	Sebastian Engell	[2]
3	Martin Fritz	[1]
4	Holger Graf	[1]
5	Ingo Hoffmann	[1]
6	Ralf Huuck	[2]
7	Stefan Kowalewski	[1]
8	Sven Lohmann	[2]
9	Ben Lukoschus	[2]
10	Jörg Preußig	[1]
11	Silke Simon	[1]
12	Olaf Stursberg	[1] [2]
13	Heinz Treseler	[1]