Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Bernd Rederlechner
Telekom Entwicklungszentrum Südwest, Germany

B. Rederlechner, J. Keller:
A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers
/jucs_3_10/a_note_on_correctness
page 1121 - 1125
Vol.3 / Issue 10