Benjamin Lux

	2007
2		Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp: Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. 14(2): 129-178 (2007)
	2005
1		Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp: Application of design for verification with concurrency controllers to air traffic control software. ASE 2005: 14-23

Coauthor Index

1	Aysu Betin-Can	[1] [2]
2	Tevfik Bultan	[1] [2]
3	Mikael Lindvall	[1] [2]
4	Stefan Topp	[1] [2]