Tobias Blechmann

	2009
3		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267
	2008
2		Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101
1		Tobias Blechmann, Christel Baier: Checking Equivalence for Reo Networks. Electr. Notes Theor. Comput. Sci. 215: 209-226 (2008)

Coauthor Index

1	Christel Baier	[1] [2] [3]
2	Joachim Klein	[2] [3]
3	Sascha Klüppelholz	[2] [3]