Matches in SemOpenAlex for { <https://semopenalex.org/work/W205804942> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W205804942 endingPage "202" @default.
- W205804942 startingPage "188" @default.
- W205804942 created "2016-06-24" @default.
- W205804942 creator A5059347392 @default.
- W205804942 creator A5063773333 @default.
- W205804942 creator A5072563928 @default.
- W205804942 date "2012-01-01" @default.
- W205804942 modified "2023-10-18" @default.
- W205804942 title "Completing the Automated Verification of a Small Hypervisor – Assembler Code Verification" @default.
- W205804942 cites W1540575800 @default.
- W205804942 cites W1545681762 @default.
- W205804942 cites W1556316449 @default.
- W205804942 cites W1878117615 @default.
- W205804942 cites W2012795453 @default.
- W205804942 cites W2023035194 @default.
- W205804942 cites W2136310957 @default.
- W205804942 cites W2203657859 @default.
- W205804942 cites W69090831 @default.
- W205804942 cites W1701859074 @default.
- W205804942 doi "https://doi.org/10.1007/978-3-642-33826-7_13" @default.
- W205804942 hasPublicationYear "2012" @default.
- W205804942 type Work @default.
- W205804942 sameAs 205804942 @default.
- W205804942 citedByCount "19" @default.
- W205804942 countsByYear W2058049422012 @default.
- W205804942 countsByYear W2058049422013 @default.
- W205804942 countsByYear W2058049422014 @default.
- W205804942 countsByYear W2058049422015 @default.
- W205804942 countsByYear W2058049422016 @default.
- W205804942 countsByYear W2058049422017 @default.
- W205804942 countsByYear W2058049422019 @default.
- W205804942 countsByYear W2058049422020 @default.
- W205804942 countsByYear W2058049422021 @default.
- W205804942 crossrefType "book-chapter" @default.
- W205804942 hasAuthorship W205804942A5059347392 @default.
- W205804942 hasAuthorship W205804942A5063773333 @default.
- W205804942 hasAuthorship W205804942A5072563928 @default.
- W205804942 hasConcept C111919701 @default.
- W205804942 hasConcept C112904061 @default.
- W205804942 hasConcept C160145156 @default.
- W205804942 hasConcept C166955791 @default.
- W205804942 hasConcept C184337299 @default.
- W205804942 hasConcept C199360897 @default.
- W205804942 hasConcept C39920170 @default.
- W205804942 hasConcept C41008148 @default.
- W205804942 hasConcept C513985346 @default.
- W205804942 hasConcept C55439883 @default.
- W205804942 hasConcept C79974875 @default.
- W205804942 hasConceptScore W205804942C111919701 @default.
- W205804942 hasConceptScore W205804942C112904061 @default.
- W205804942 hasConceptScore W205804942C160145156 @default.
- W205804942 hasConceptScore W205804942C166955791 @default.
- W205804942 hasConceptScore W205804942C184337299 @default.
- W205804942 hasConceptScore W205804942C199360897 @default.
- W205804942 hasConceptScore W205804942C39920170 @default.
- W205804942 hasConceptScore W205804942C41008148 @default.
- W205804942 hasConceptScore W205804942C513985346 @default.
- W205804942 hasConceptScore W205804942C55439883 @default.
- W205804942 hasConceptScore W205804942C79974875 @default.
- W205804942 hasLocation W2058049421 @default.
- W205804942 hasOpenAccess W205804942 @default.
- W205804942 hasPrimaryLocation W2058049421 @default.
- W205804942 hasRelatedWork W1550989081 @default.
- W205804942 hasRelatedWork W1576042299 @default.
- W205804942 hasRelatedWork W1967499492 @default.
- W205804942 hasRelatedWork W1985198438 @default.
- W205804942 hasRelatedWork W2119436293 @default.
- W205804942 hasRelatedWork W2748872428 @default.
- W205804942 hasRelatedWork W2964511421 @default.
- W205804942 hasRelatedWork W3011785936 @default.
- W205804942 hasRelatedWork W4288265159 @default.
- W205804942 hasRelatedWork W4304136009 @default.
- W205804942 isParatext "false" @default.
- W205804942 isRetracted "false" @default.
- W205804942 magId "205804942" @default.
- W205804942 workType "book-chapter" @default.