Matches in DBpedia 2016-04 for { <http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf> ?p ?o }
Showing triples 1 to 44 of
44
with 100 triples per page.
- klein-sosp09.pdf author3Link "Gernot Heiser".
- klein-sosp09.pdf booktitle "22nd ACM Symposium on Operating System Principles".
- klein-sosp09.pdf coauthors "Elphinstone, Kevin; Heiser, Gernot; Andronick, June; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon".
- klein-sosp09.pdf date "October 2009".
- klein-sosp09.pdf first "Gerwin".
- klein-sosp09.pdf first1 "Gerwin".
- klein-sosp09.pdf first10 "Michael".
- klein-sosp09.pdf first11 "Thomas".
- klein-sosp09.pdf first12 "Harvey".
- klein-sosp09.pdf first13 "Simon".
- klein-sosp09.pdf first2 "Kevin".
- klein-sosp09.pdf first3 "Gernot".
- klein-sosp09.pdf first4 "June".
- klein-sosp09.pdf first5 "David".
- klein-sosp09.pdf first6 "Philip".
- klein-sosp09.pdf first7 "Dhammika".
- klein-sosp09.pdf first8 "Kai".
- klein-sosp09.pdf first9 "Rafal".
- klein-sosp09.pdf isCitedBy Gernot_Heiser.
- klein-sosp09.pdf isCitedBy Haskell_(programming_language).
- klein-sosp09.pdf isCitedBy Isabelle_(proof_assistant).
- klein-sosp09.pdf isCitedBy L4_microkernel_family.
- klein-sosp09.pdf isCitedBy Microkernel.
- klein-sosp09.pdf isCitedBy Trusted_computing_base.
- klein-sosp09.pdf last "Klein".
- klein-sosp09.pdf last1 "Klein".
- klein-sosp09.pdf last10 "Norrish".
- klein-sosp09.pdf last11 "Sewell".
- klein-sosp09.pdf last12 "Tuch".
- klein-sosp09.pdf last13 "Winwood".
- klein-sosp09.pdf last2 "Elphinstone".
- klein-sosp09.pdf last3 "Heiser".
- klein-sosp09.pdf last4 "Andronick".
- klein-sosp09.pdf last5 "Cock".
- klein-sosp09.pdf last6 "Derrin".
- klein-sosp09.pdf last7 "Elkaduwe".
- klein-sosp09.pdf last8 "Engelhardt".
- klein-sosp09.pdf last9 "Kolanski".
- klein-sosp09.pdf location "Big Sky, MT, USA".
- klein-sosp09.pdf location "Big Sky, Montana, US".
- klein-sosp09.pdf pages "207-200".
- klein-sosp09.pdf pages "207–220".
- klein-sosp09.pdf title "seL4: Formal verification of an OS kernel".
- klein-sosp09.pdf url klein-sosp09.pdf.