1997 | ||
---|---|---|
2 | EE | Bernd Rederlechner, Jörg Keller: A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers. J. UCS 3(10): 1121-1125 (1997) |
1996 | ||
1 | EE | Jörg Keller, Thomas Rauber, Bernd Rederlechner: Conservative Circuit Simulation on Shared-Memory Multiprocessors. Workshop on Parallel and Distributed Simulation 1996: 126-134 |
1 | Jörg Keller | [1] [2] |
2 | Thomas Rauber | [1] |