%0 Thesis %1 golm2002structure %A Golm, Michael %D 2002 %K %T The structure of a type safe operating system

@phdthesis{golm2002structure, added-at = {2023-12-13T02:56:11.000+0100}, author = {Golm, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2204d2d17fd06853175e303f1592951d2/admin}, dnbtitleid = {972031928}, interhash = {8580ccb19e610b35b235601c6fe8dc13}, intrahash = {204d2d17fd06853175e303f1592951d2}, keywords = {}, school = {Uni Erlangen-Nürnberg}, timestamp = {2023-12-13T02:56:11.000+0100}, title = {The structure of a type safe operating system}, year = 2002 }