{"intvolume":" 76","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","status":"public","date_created":"2021-09-15T10:03:51Z","department":[{"_id":"26"}],"author":[{"first_name":"Carsten","full_name":"Ditze, Carsten","last_name":"Ditze"}],"year":"2000","user_id":"60046","publication_status":"published","_id":"24494","language":[{"iso":"eng"}],"title":"Towards Operating System Synthesis","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","volume":76,"citation":{"ama":"Ditze C. Towards Operating System Synthesis. Vol 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.","ieee":"C. Ditze, Towards Operating System Synthesis, vol. 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","apa":"Ditze, C. (2000). Towards Operating System Synthesis (Vol. 76). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","chicago":"Ditze, Carsten. Towards Operating System Synthesis. Vol. 76. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","short":"C. Ditze, Towards Operating System Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","mla":"Ditze, Carsten. Towards Operating System Synthesis. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","bibtex":"@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} }"},"type":"dissertation","date_updated":"2022-01-06T06:56:25Z"}