Tom Bienmüller

	2003
4		Tom Bienmüller: Reducing complexity for the verification of STATEMATE designs. Carl von Ossietzky University of Oldenburg 2003: 1-309
	2001
3		Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke: Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). it+ti - Informationstechnik und Technische Informatik 43(1): 29-34 (2001)
	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] [3]
5	Hardi Hungar	[1]
6	Peter Jansen	[1]
7	Jochen Klose	[3]
8	Hartmut Wittke	[2] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page