Statistics
Publications
8
Citations
835
H-Index
8
Active since
1995
Affiliations
Steffen Tarnick is an author at Max Planck Society specializing in engineering, computer engineering, and formal verification.
Publications per year
1995–2005
8
8
Self-checking comparator with one periodic output
Sandip Kundu, E.S. Sogomonyan, M. Goessel et al. · IEEE Transactions on Computers · 1996 · 43 citations
1–5 of 8