C. Blumenröhr

An efficient representation for formal synthesis

Dirk Eisenbiegler, Christian Blumenröhr, D. Eisenbiegler, 1997, Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114).

On the efficiency of formal synthesis-experimental results

Detlef Schmid, Dirk Eisenbiegler, Christian Blumenröhr, 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

A Formal Approach to Specify and Synthesize at the System Level

Christian Blumenröhr, C. Blumenröhr, 1999, MBMV.

Formal Synthesis at the Algorithmic Level

Viktor K. Sabelfeld, Christian Blumenröhr, V. Sabelfeld, 1999, CHARME.