Tom Bienmüller

	2000
2		Tom Bienmüller, Werner Damm, Hartmut Wittke: The STATEMATE Verification Environment - Making It Real. CAV 2000: 561-567
	1999
1		Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen: Verification of Automotive Control Units. Correct System Design 1999: 319-341

Coauthor Index

1	Jürgen Bohn	[1]
2	Henning Brinkmann	[1]
3	Udo Brockmeyer	[1]
4	Werner Damm	[1] [2]
5	Hardi Hungar	[1]
6	Peter Jansen	[1]
7	Hartmut Wittke	[2]