Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Kropf
Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automating Most Parts of Hardware Proofs in HOL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
