Christoph Kern

	2001
4		Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A light-weight framework for hardware verification. STTT 3(3): 286-313 (2001)
	1999
3		Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A Light-Weight Framework for Hardware Verification. TACAS 1999: 330-344
2		Christoph Kern, Mark R. Greenstreet: Formal verification in hardware design: a survey. ACM Trans. Design Autom. Electr. Syst. 4(2): 123-193 (1999)
	1998
1		Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet: Verifying a Self-Timed Divider. ASYNC 1998: 146-158

Coauthor Index

1	Mark R. Greenstreet	[1] [2] [3] [4]
2	Tarik Ono-Tesfaye	[1] [3] [4]