Matches in SemOpenAlex for { <https://semopenalex.org/work/W3140978863> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W3140978863 created "2021-04-13" @default.
- W3140978863 creator A5067634389 @default.
- W3140978863 date "2020-01-01" @default.
- W3140978863 modified "2023-09-27" @default.
- W3140978863 title "Automata-based formal analysis and verification of the real-time Linux kernel" @default.
- W3140978863 hasPublicationYear "2020" @default.
- W3140978863 type Work @default.
- W3140978863 sameAs 3140978863 @default.
- W3140978863 citedByCount "0" @default.
- W3140978863 crossrefType "journal-article" @default.
- W3140978863 hasAuthorship W3140978863A5067634389 @default.
- W3140978863 hasConcept C111498074 @default.
- W3140978863 hasConcept C111919701 @default.
- W3140978863 hasConcept C112505250 @default.
- W3140978863 hasConcept C118615104 @default.
- W3140978863 hasConcept C199360897 @default.
- W3140978863 hasConcept C33923547 @default.
- W3140978863 hasConcept C41008148 @default.
- W3140978863 hasConcept C74193536 @default.
- W3140978863 hasConcept C80444323 @default.
- W3140978863 hasConceptScore W3140978863C111498074 @default.
- W3140978863 hasConceptScore W3140978863C111919701 @default.
- W3140978863 hasConceptScore W3140978863C112505250 @default.
- W3140978863 hasConceptScore W3140978863C118615104 @default.
- W3140978863 hasConceptScore W3140978863C199360897 @default.
- W3140978863 hasConceptScore W3140978863C33923547 @default.
- W3140978863 hasConceptScore W3140978863C41008148 @default.
- W3140978863 hasConceptScore W3140978863C74193536 @default.
- W3140978863 hasConceptScore W3140978863C80444323 @default.
- W3140978863 hasLocation W31409788631 @default.
- W3140978863 hasOpenAccess W3140978863 @default.
- W3140978863 hasPrimaryLocation W31409788631 @default.
- W3140978863 hasRelatedWork W1498912749 @default.
- W3140978863 hasRelatedWork W1572088380 @default.
- W3140978863 hasRelatedWork W1591897221 @default.
- W3140978863 hasRelatedWork W1606504530 @default.
- W3140978863 hasRelatedWork W2013108521 @default.
- W3140978863 hasRelatedWork W2066403336 @default.
- W3140978863 hasRelatedWork W2066744758 @default.
- W3140978863 hasRelatedWork W2070026284 @default.
- W3140978863 hasRelatedWork W2078130285 @default.
- W3140978863 hasRelatedWork W2079844228 @default.
- W3140978863 hasRelatedWork W2097115787 @default.
- W3140978863 hasRelatedWork W2124778357 @default.
- W3140978863 hasRelatedWork W2125247621 @default.
- W3140978863 hasRelatedWork W2128265572 @default.
- W3140978863 hasRelatedWork W2135287711 @default.
- W3140978863 hasRelatedWork W2166236578 @default.
- W3140978863 hasRelatedWork W2241729248 @default.
- W3140978863 hasRelatedWork W2321013698 @default.
- W3140978863 hasRelatedWork W2588890172 @default.
- W3140978863 hasRelatedWork W562697063 @default.
- W3140978863 isParatext "false" @default.
- W3140978863 isRetracted "false" @default.
- W3140978863 magId "3140978863" @default.
- W3140978863 workType "article" @default.