Karsten Diethers

	2007
4		Karsten Diethers: Werkzeuggestützte formale Analyse von Echtzeitsystemen. University of Braunschweig - Institute of Technology 2007: 1-209
	2004
3		Karsten Diethers, Michaela Huhn: Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS 2004: 139-143
2		Karsten Diethers, Bernd Finkemeyer, Nnamdi Kohn: Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware). it - Information Technology 46(1): 39-47 (2004)
	1999
1		Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz: Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML 1999: 645-660

Coauthor Index

1	Bernd Finkemeyer	[2]
2	Thomas Firley	[1]
3	Thomas Gehrke	[1]
4	Ursula Goltz	[1]
5	Michaela Huhn	[1] [3]
6	Nnamdi Kohn	[2]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page