thesis published Carsten Ditze author 26 department Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn2000 eng 76 C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000. @book{Ditze_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Towards Operating System Synthesis}, volume={76}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Ditze, Carsten}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} } Ditze, Carsten. <i>Towards Operating System Synthesis</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000. Ditze, C. (2000). <i>Towards Operating System Synthesis</i> (Vol. 76). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Ditze C. <i>Towards Operating System Synthesis</i>. Vol 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000. C. Ditze, <i>Towards Operating System Synthesis</i>, vol. 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000. Ditze, Carsten. <i>Towards Operating System Synthesis</i>. Vol. 76. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000. 244942021-09-15T10:03:51Z2022-01-06T06:56:25Z