| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Fifth IEEE Conference on Open Architectures and Network Programming (OPENARCH'02) |
| Place of Publication | New York, USA |
| Pages | 141-152 |
| Publication status | Published - 2002 |
Safe kernel programming in the OKE
H.J. Bos, B. Samwel
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review