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	Tevfik Bultan	[1] [2]
2	Aysu Betin Can (Aysu Betin-Can)	[1] [2]
3	Mikael Lindvall	[1] [2]
4	Stefan Topp	[1] [2]

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