Clemens D. Renner

	2008
2		Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33
	2007
1		Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. ISoLA 2007: 85-97

Coauthor Index

1	Marco Bakera	[1] [2]
2	Stefan Edelkamp	[2]
3	Peter Kissmann	[2]
4	Tiziana Margaria (Tiziana Margaria-Steffen)	[1]
5	Bernhard Steffen	[1]