Construction of a Highly Dependable Operating System.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

Browse the full EDCC paper archive.