Ben Lukoschus

	2004
4		Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418
3		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
	2000
2		Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181
1		Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Verification of Sequential Function Charts Using SMV. PDPTA 2000

Coauthor Index

1	Nanette Bauer	[3] [4]
2	Sébastien Bornot	[1] [2]
3	Sebastian Engell	[3] [4]
4	Ralf Huuck	[1] [2] [3] [4]
5	Sven Lohmann	[3]
6	Manuel Remelhe	[3]
7	Olaf Stursberg	[3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page