@inproceedings{bos_safe_2002,
	title = {Safe {Kernel} {Programming} in the {OKE}},
	url = {http://www.cs.vu.nl/~herbertb/papers/openk_ieee.pdf},
	booktitle = {{OPENARCH}},
	author = {Bos, Herbert and Samwel, Bart},
	month = sep,
	year = {2002},
	keywords = {class\_network, class\_os, type\_conf, type\_paper},
}

{"_id":"AuKmN27J3bqLDGhyu","bibbaseid":"bos-samwel-safekernelprogrammingintheoke-2002","author_short":["Bos, H.","Samwel, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Safe Kernel Programming in the OKE","url":"http://www.cs.vu.nl/~herbertb/papers/openk_ieee.pdf","booktitle":"OPENARCH","author":[{"propositions":[],"lastnames":["Bos"],"firstnames":["Herbert"],"suffixes":[]},{"propositions":[],"lastnames":["Samwel"],"firstnames":["Bart"],"suffixes":[]}],"month":"September","year":"2002","keywords":"class_network, class_os, type_conf, type_paper","bibtex":"@inproceedings{bos_safe_2002,\n\ttitle = {Safe {Kernel} {Programming} in the {OKE}},\n\turl = {http://www.cs.vu.nl/~herbertb/papers/openk_ieee.pdf},\n\tbooktitle = {{OPENARCH}},\n\tauthor = {Bos, Herbert and Samwel, Bart},\n\tmonth = sep,\n\tyear = {2002},\n\tkeywords = {class\\_network, class\\_os, type\\_conf, type\\_paper},\n}\n\n","author_short":["Bos, H.","Samwel, B."],"key":"bos_safe_2002","id":"bos_safe_2002","bibbaseid":"bos-samwel-safekernelprogrammingintheoke-2002","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~herbertb/papers/openk_ieee.pdf"},"keyword":["class_network","class_os","type_conf","type_paper"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://download.vusec.net/papers/zotero.php?tag=&full=1&format=bibtex&sort=date","dataSources":["W3pFHJzR4q3PW2Mjp","EkDQznmWECGiHjLjt","cEmMXPermWEFsgmMR","LY5xkJFgS2sBQ9umB"],"keywords":["class_network","class_os","type_conf","type_paper"],"search_terms":["safe","kernel","programming","oke","bos","samwel"],"title":"Safe Kernel Programming in the OKE","year":2002}