Joachim Klein

Dresden University of Technology

other persons with the same name:

• Joachim Klein - University of Kaiserslautern

	2009
6		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267
	2008
5		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101
4		Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
	2007
3		Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61
	2006
2		Joachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006)
	2005
1		Joachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212

Coauthor Index

1	Christel Baier	[1] [2] [3] [4] [5] [6]
2	Tobias Blechmann	[5] [6]
3	Frank Ciesinski	[4]
4	Marcus Größer	[4]
5	Sascha Klüppelholz	[5] [6]