Pipelined Multi-Core Machine with Operating System Support Hardware Implementation and Correctness Proof Lutsyk, Petro Heftet / 2020 / Engelsk
Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof Kovalev, Mikhail Heftet / 2014 / Engelsk
Innovative Informations-Infrastrukturen Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG Gollan Bernhard Heftet / 1988 / Tysk
