Towards Operating System Synthesis
C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
Download
No fulltext has been uploaded.
Dissertation
| Published
| English
Author
Ditze, Carsten
Department
Publishing Year
Series Title / Volume
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
Volume
76
LibreCat-ID
Cite this
Ditze C. Towards Operating System Synthesis. Vol 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
Ditze, C. (2000). Towards Operating System Synthesis (Vol. 76). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
@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. Towards Operating System Synthesis. Vol. 76. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
C. Ditze, Towards Operating System Synthesis, vol. 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
Ditze, Carsten. Towards Operating System Synthesis. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
Google Scholar