Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:conference
|
gptkbp:endDate |
2010-10-06
|
gptkbp:field |
computer science
operating systems |
gptkbp:fullName |
11th USENIX Symposium on Operating Systems Design and Implementation
|
https://www.w3.org/2000/01/rdf-schema#label |
OSDI 2010
|
gptkbp:location |
gptkb:Vancouver,_Canada
|
gptkbp:organizedBy |
gptkb:USENIX_Association
|
gptkbp:partOfSeries |
gptkb:OSDI
|
gptkbp:startDate |
2010-10-04
|
gptkbp:website |
https://www.usenix.org/event/osdi10/
|
gptkbp:year |
2010
|
gptkbp:bfsParent |
gptkb:seL4_microkernel_verification
|
gptkbp:bfsLayer |
7
|