@inproceedings{conf/edcc/HerderBGHT06, added-at = {2009-10-02T00:00:00.000+0200}, author = {Herder, Jorrit N. and Bos, Herbert and Gras, Ben and Homburg, Philip and Tanenbaum, Andrew S.}, biburl = {http://www.bibsonomy.org/bibtex/2aec676201f680b186cb2664b01d30605/dblp}, booktitle = {EDCC}, crossref = {conf/edcc/2006}, date = {2009-10-02}, description = {dblp}, ee = {http://dx.doi.org/10.1109/EDCC.2006.7}, interhash = {bfcb2984401f82d9a2a72fbb2b36f8a6}, intrahash = {aec676201f680b186cb2664b01d30605}, isbn = {0-7695-2648-9}, keywords = {dblp}, pages = {3-12}, publisher = {IEEE Computer Society}, timestamp = {2009-10-02T00:00:00.000+0200}, title = {Construction of a Highly Dependable Operating System.}, url = {http://dblp.uni-trier.de/db/conf/edcc/edcc2006.html#HerderBGHT06}, year = 2006 }