Matches in SemOpenAlex for { <https://semopenalex.org/work/W3159469808> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W3159469808 startingPage "22" @default.
- W3159469808 created "2021-05-10" @default.
- W3159469808 creator A5038601299 @default.
- W3159469808 creator A5067447292 @default.
- W3159469808 creator A5071048212 @default.
- W3159469808 creator A5080161490 @default.
- W3159469808 date "2016-08-01" @default.
- W3159469808 modified "2023-09-29" @default.
- W3159469808 title "Towards Formal Verification of Interrupts and Hypercalls" @default.
- W3159469808 hasPublicationYear "2016" @default.
- W3159469808 type Work @default.
- W3159469808 sameAs 3159469808 @default.
- W3159469808 citedByCount "0" @default.
- W3159469808 crossrefType "journal-article" @default.
- W3159469808 hasAuthorship W3159469808A5038601299 @default.
- W3159469808 hasAuthorship W3159469808A5067447292 @default.
- W3159469808 hasAuthorship W3159469808A5071048212 @default.
- W3159469808 hasAuthorship W3159469808A5080161490 @default.
- W3159469808 hasConcept C41008148 @default.
- W3159469808 hasConceptScore W3159469808C41008148 @default.
- W3159469808 hasLocation W31594698081 @default.
- W3159469808 hasOpenAccess W3159469808 @default.
- W3159469808 hasPrimaryLocation W31594698081 @default.
- W3159469808 hasRelatedWork W2065846678 @default.
- W3159469808 hasRelatedWork W2081647087 @default.
- W3159469808 hasRelatedWork W2119341106 @default.
- W3159469808 hasRelatedWork W2164892954 @default.
- W3159469808 hasRelatedWork W2241061572 @default.
- W3159469808 hasRelatedWork W2307772791 @default.
- W3159469808 hasRelatedWork W2414083640 @default.
- W3159469808 hasRelatedWork W2473576858 @default.
- W3159469808 hasRelatedWork W2477025673 @default.
- W3159469808 hasRelatedWork W2487702176 @default.
- W3159469808 hasRelatedWork W2533142760 @default.
- W3159469808 hasRelatedWork W2599699578 @default.
- W3159469808 hasRelatedWork W2634169402 @default.
- W3159469808 hasRelatedWork W2756944775 @default.
- W3159469808 hasRelatedWork W2898364616 @default.
- W3159469808 hasRelatedWork W2964297799 @default.
- W3159469808 hasRelatedWork W3151699443 @default.
- W3159469808 hasRelatedWork W3186572156 @default.
- W3159469808 hasRelatedWork W182681771 @default.
- W3159469808 hasRelatedWork W2184018539 @default.
- W3159469808 hasVolume "736" @default.
- W3159469808 isParatext "false" @default.
- W3159469808 isRetracted "false" @default.
- W3159469808 magId "3159469808" @default.
- W3159469808 workType "article" @default.