Matches in SemOpenAlex for { <https://semopenalex.org/work/W1253485236> ?p ?o ?g. }
- W1253485236 endingPage "85" @default.
- W1253485236 startingPage "71" @default.
- W1253485236 created "2016-06-24" @default.
- W1253485236 creator A5009276047 @default.
- W1253485236 creator A5060314860 @default.
- W1253485236 creator A5072563928 @default.
- W1253485236 creator A5080983182 @default.
- W1253485236 date "2010-08-16" @default.
- W1253485236 modified "2023-09-26" @default.
- W1253485236 title "Pervasive verification of an OS microkernel: inline assembly, memory consumption, concurrent devices" @default.
- W1253485236 cites W1491229276 @default.
- W1253485236 cites W1501535194 @default.
- W1253485236 cites W1509898135 @default.
- W1253485236 cites W1523275077 @default.
- W1253485236 cites W1554895120 @default.
- W1253485236 cites W1556316449 @default.
- W1253485236 cites W1571434026 @default.
- W1253485236 cites W1600131639 @default.
- W1253485236 cites W1968183774 @default.
- W1253485236 cites W1984891404 @default.
- W1253485236 cites W2019404692 @default.
- W1253485236 cites W2051735657 @default.
- W1253485236 cites W2108641743 @default.
- W1253485236 cites W2112292265 @default.
- W1253485236 cites W2136310957 @default.
- W1253485236 cites W2139151574 @default.
- W1253485236 cites W2150401476 @default.
- W1253485236 cites W2165295165 @default.
- W1253485236 cites W2166310708 @default.
- W1253485236 cites W2341855878 @default.
- W1253485236 cites W266827811 @default.
- W1253485236 cites W2913377767 @default.
- W1253485236 cites W30213274 @default.
- W1253485236 hasPublicationYear "2010" @default.
- W1253485236 type Work @default.
- W1253485236 sameAs 1253485236 @default.
- W1253485236 citedByCount "7" @default.
- W1253485236 countsByYear W12534852362012 @default.
- W1253485236 countsByYear W12534852362013 @default.
- W1253485236 countsByYear W12534852362015 @default.
- W1253485236 countsByYear W12534852362016 @default.
- W1253485236 countsByYear W12534852362018 @default.
- W1253485236 crossrefType "proceedings-article" @default.
- W1253485236 hasAuthorship W1253485236A5009276047 @default.
- W1253485236 hasAuthorship W1253485236A5060314860 @default.
- W1253485236 hasAuthorship W1253485236A5072563928 @default.
- W1253485236 hasAuthorship W1253485236A5080983182 @default.
- W1253485236 hasConcept C108710211 @default.
- W1253485236 hasConcept C110251889 @default.
- W1253485236 hasConcept C111498074 @default.
- W1253485236 hasConcept C111919701 @default.
- W1253485236 hasConcept C149635348 @default.
- W1253485236 hasConcept C17435882 @default.
- W1253485236 hasConcept C199360897 @default.
- W1253485236 hasConcept C203265346 @default.
- W1253485236 hasConcept C206880738 @default.
- W1253485236 hasConcept C2524010 @default.
- W1253485236 hasConcept C2777127024 @default.
- W1253485236 hasConcept C33923547 @default.
- W1253485236 hasConcept C41008148 @default.
- W1253485236 hasConcept C55439883 @default.
- W1253485236 hasConceptScore W1253485236C108710211 @default.
- W1253485236 hasConceptScore W1253485236C110251889 @default.
- W1253485236 hasConceptScore W1253485236C111498074 @default.
- W1253485236 hasConceptScore W1253485236C111919701 @default.
- W1253485236 hasConceptScore W1253485236C149635348 @default.
- W1253485236 hasConceptScore W1253485236C17435882 @default.
- W1253485236 hasConceptScore W1253485236C199360897 @default.
- W1253485236 hasConceptScore W1253485236C203265346 @default.
- W1253485236 hasConceptScore W1253485236C206880738 @default.
- W1253485236 hasConceptScore W1253485236C2524010 @default.
- W1253485236 hasConceptScore W1253485236C2777127024 @default.
- W1253485236 hasConceptScore W1253485236C33923547 @default.
- W1253485236 hasConceptScore W1253485236C41008148 @default.
- W1253485236 hasConceptScore W1253485236C55439883 @default.
- W1253485236 hasLocation W12534852361 @default.
- W1253485236 hasOpenAccess W1253485236 @default.
- W1253485236 hasPrimaryLocation W12534852361 @default.
- W1253485236 hasRelatedWork W1480909796 @default.
- W1253485236 hasRelatedWork W1509898135 @default.
- W1253485236 hasRelatedWork W1540575800 @default.
- W1253485236 hasRelatedWork W1545681762 @default.
- W1253485236 hasRelatedWork W1594381772 @default.
- W1253485236 hasRelatedWork W1937179622 @default.
- W1253485236 hasRelatedWork W1988079752 @default.
- W1253485236 hasRelatedWork W2019404692 @default.
- W1253485236 hasRelatedWork W2023035194 @default.
- W1253485236 hasRelatedWork W2101118268 @default.
- W1253485236 hasRelatedWork W2106192381 @default.
- W1253485236 hasRelatedWork W2108923990 @default.
- W1253485236 hasRelatedWork W2126823808 @default.
- W1253485236 hasRelatedWork W2130970533 @default.
- W1253485236 hasRelatedWork W2136310957 @default.
- W1253485236 hasRelatedWork W2139151574 @default.
- W1253485236 hasRelatedWork W2141729404 @default.
- W1253485236 hasRelatedWork W2203657859 @default.
- W1253485236 hasRelatedWork W51058944 @default.
- W1253485236 hasRelatedWork W69090831 @default.
- W1253485236 isParatext "false" @default.
- W1253485236 isRetracted "false" @default.