Clemens D. Renner

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2009
j1		Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen: Tool-supported enhancement of diagnosis in model-driven verification. ISSE 5(3): 211-228 (2009)
	2008
c2		Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33
	2007
c1		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	[j1] [c2] [c1]
2	Stefan Edelkamp	[c2]
3	Peter Kissmann	[c2]
4	Tiziana Margaria (Tiziana Margaria-Steffen)	[j1] [c1]
5	Bernhard Steffen	[j1] [c1]

Last update Sat May 25 12:38:43 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page