Kai Kapp

	2004
3		Kai Kapp, Viktor K. Sabelfeld: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. DAC 2004: 61-66
	2003
2		Viktor K. Sabelfeld, Kai Kapp: Numeric Types in Formal Synthesis. Ershov Memorial Conference 2003: 79-90
	2001
1		Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp: Semantics and Transformations in Formal Synthesis at System Level. Ershov Memorial Conference 2001: 149-156

Coauthor Index

1	Christian Blumenröhr	[1]
2	Viktor K. Sabelfeld	[1] [2] [3]