Tarik Ono-Tesfaye

2001
4	EE	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A light-weight framework for hardware verification. STTT 3(3): 286-313 (2001)
1999
3	EE	Mark R. Greenstreet, Tarik Ono-Tesfaye: A Fast, asP*, RGD Arbiter. ASYNC 1999: 173-185
2	EE	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A Light-Weight Framework for Hardware Verification. TACAS 1999: 330-344
1998
1	EE	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	Christoph Kern	[1] [2] [4]