|
Search the dblp DataBase
Christoph Kern:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet
Verifying a Self-Timed Divider. [Citation Graph (0, 0)][DBLP] ASYNC, 1998, pp:146-158 [Conf]
- Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
A Light-Weight Framework for Hardware Verification. [Citation Graph (0, 0)][DBLP] TACAS, 1999, pp:330-344 [Conf]
- Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
A light-weight framework for hardware verification. [Citation Graph (0, 0)][DBLP] STTT, 2001, v:3, n:3, pp:286-313 [Journal]
- Christoph Kern, Mark R. Greenstreet
Formal verification in hardware design: a survey. [Citation Graph (0, 0)][DBLP] ACM Trans. Design Autom. Electr. Syst., 1999, v:4, n:2, pp:123-193 [Journal]
Search in 0.001secs, Finished in 0.001secs
|