dblp.uni-trier.dewww.uni-trier.de

Clemens D. Renner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EEMarco 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)