Sven Lohmann

	2005
2		Sebastian Engell, Sven Lohmann, Olaf Stursberg: Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics. International Journal of Software Engineering and Knowledge Engineering 15(2): 307-312 (2005)
	2004
1		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

Coauthor Index

1	Nanette Bauer	[1]
2	Sebastian Engell	[1] [2]
3	Ralf Huuck	[1]
4	Ben Lukoschus	[1]
5	Manuel Remelhe	[1]
6	Olaf Stursberg	[1] [2]