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
|
| 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 |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
OSDI 2010
|