Matches in SemOpenAlex for { <https://semopenalex.org/work/W1888392380> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1888392380 endingPage "114" @default.
- W1888392380 startingPage "99" @default.
- W1888392380 created "2016-06-24" @default.
- W1888392380 creator A5056561099 @default.
- W1888392380 creator A5073718932 @default.
- W1888392380 creator A5081797820 @default.
- W1888392380 date "2008-09-25" @default.
- W1888392380 modified "2023-10-13" @default.
- W1888392380 title "Verified Protection Model of the seL4 Microkernel" @default.
- W1888392380 cites W1966364460 @default.
- W1888392380 cites W2035142022 @default.
- W1888392380 cites W2053741629 @default.
- W1888392380 cites W2104634303 @default.
- W1888392380 cites W2120066000 @default.
- W1888392380 cites W2146530476 @default.
- W1888392380 cites W2167800525 @default.
- W1888392380 cites W2342083136 @default.
- W1888392380 cites W3150368109 @default.
- W1888392380 cites W4249212548 @default.
- W1888392380 cites W4250846042 @default.
- W1888392380 doi "https://doi.org/10.1007/978-3-540-87873-5_11" @default.
- W1888392380 hasPublicationYear "2008" @default.
- W1888392380 type Work @default.
- W1888392380 sameAs 1888392380 @default.
- W1888392380 citedByCount "39" @default.
- W1888392380 countsByYear W18883923802012 @default.
- W1888392380 countsByYear W18883923802014 @default.
- W1888392380 countsByYear W18883923802015 @default.
- W1888392380 countsByYear W18883923802016 @default.
- W1888392380 countsByYear W18883923802019 @default.
- W1888392380 countsByYear W18883923802020 @default.
- W1888392380 countsByYear W18883923802021 @default.
- W1888392380 countsByYear W18883923802022 @default.
- W1888392380 crossrefType "book-chapter" @default.
- W1888392380 hasAuthorship W1888392380A5056561099 @default.
- W1888392380 hasAuthorship W1888392380A5073718932 @default.
- W1888392380 hasAuthorship W1888392380A5081797820 @default.
- W1888392380 hasConcept C108710211 @default.
- W1888392380 hasConcept C110251889 @default.
- W1888392380 hasConcept C111498074 @default.
- W1888392380 hasConcept C111919701 @default.
- W1888392380 hasConcept C118615104 @default.
- W1888392380 hasConcept C159718280 @default.
- W1888392380 hasConcept C17435882 @default.
- W1888392380 hasConcept C199360897 @default.
- W1888392380 hasConcept C203265346 @default.
- W1888392380 hasConcept C206880738 @default.
- W1888392380 hasConcept C2524010 @default.
- W1888392380 hasConcept C2777127024 @default.
- W1888392380 hasConcept C33923547 @default.
- W1888392380 hasConcept C41008148 @default.
- W1888392380 hasConcept C74193536 @default.
- W1888392380 hasConcept C75606506 @default.
- W1888392380 hasConcept C80444323 @default.
- W1888392380 hasConceptScore W1888392380C108710211 @default.
- W1888392380 hasConceptScore W1888392380C110251889 @default.
- W1888392380 hasConceptScore W1888392380C111498074 @default.
- W1888392380 hasConceptScore W1888392380C111919701 @default.
- W1888392380 hasConceptScore W1888392380C118615104 @default.
- W1888392380 hasConceptScore W1888392380C159718280 @default.
- W1888392380 hasConceptScore W1888392380C17435882 @default.
- W1888392380 hasConceptScore W1888392380C199360897 @default.
- W1888392380 hasConceptScore W1888392380C203265346 @default.
- W1888392380 hasConceptScore W1888392380C206880738 @default.
- W1888392380 hasConceptScore W1888392380C2524010 @default.
- W1888392380 hasConceptScore W1888392380C2777127024 @default.
- W1888392380 hasConceptScore W1888392380C33923547 @default.
- W1888392380 hasConceptScore W1888392380C41008148 @default.
- W1888392380 hasConceptScore W1888392380C74193536 @default.
- W1888392380 hasConceptScore W1888392380C75606506 @default.
- W1888392380 hasConceptScore W1888392380C80444323 @default.
- W1888392380 hasLocation W18883923801 @default.
- W1888392380 hasOpenAccess W1888392380 @default.
- W1888392380 hasPrimaryLocation W18883923801 @default.
- W1888392380 hasRelatedWork W146493892 @default.
- W1888392380 hasRelatedWork W1480678306 @default.
- W1888392380 hasRelatedWork W1522873391 @default.
- W1888392380 hasRelatedWork W1888392380 @default.
- W1888392380 hasRelatedWork W1937494301 @default.
- W1888392380 hasRelatedWork W2001092196 @default.
- W1888392380 hasRelatedWork W2049967603 @default.
- W1888392380 hasRelatedWork W23064044 @default.
- W1888392380 hasRelatedWork W2950845427 @default.
- W1888392380 hasRelatedWork W4299834033 @default.
- W1888392380 isParatext "false" @default.
- W1888392380 isRetracted "false" @default.
- W1888392380 magId "1888392380" @default.
- W1888392380 workType "book-chapter" @default.