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
Publishing Year
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar