Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997414512> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1997414512 endingPage "15" @default.
- W1997414512 startingPage "15" @default.
- W1997414512 created "2016-06-24" @default.
- W1997414512 creator A5020384502 @default.
- W1997414512 date "2001-05-02" @default.
- W1997414512 modified "2023-09-24" @default.
- W1997414512 title "Model checking if your life depends on it: a view from Intel's trenches" @default.
- W1997414512 doi "https://doi.org/10.5555/380921.380926" @default.
- W1997414512 hasPublicationYear "2001" @default.
- W1997414512 type Work @default.
- W1997414512 sameAs 1997414512 @default.
- W1997414512 citedByCount "6" @default.
- W1997414512 countsByYear W19974145122015 @default.
- W1997414512 crossrefType "proceedings-article" @default.
- W1997414512 hasAuthorship W1997414512A5020384502 @default.
- W1997414512 hasConcept C110251889 @default.
- W1997414512 hasConcept C111472728 @default.
- W1997414512 hasConcept C111498074 @default.
- W1997414512 hasConcept C115903868 @default.
- W1997414512 hasConcept C138885662 @default.
- W1997414512 hasConcept C144024400 @default.
- W1997414512 hasConcept C149635348 @default.
- W1997414512 hasConcept C168725872 @default.
- W1997414512 hasConcept C171250308 @default.
- W1997414512 hasConcept C192562407 @default.
- W1997414512 hasConcept C199360897 @default.
- W1997414512 hasConcept C2779530757 @default.
- W1997414512 hasConcept C36289849 @default.
- W1997414512 hasConcept C37135326 @default.
- W1997414512 hasConcept C41008148 @default.
- W1997414512 hasConcept C55439883 @default.
- W1997414512 hasConcept C70388272 @default.
- W1997414512 hasConceptScore W1997414512C110251889 @default.
- W1997414512 hasConceptScore W1997414512C111472728 @default.
- W1997414512 hasConceptScore W1997414512C111498074 @default.
- W1997414512 hasConceptScore W1997414512C115903868 @default.
- W1997414512 hasConceptScore W1997414512C138885662 @default.
- W1997414512 hasConceptScore W1997414512C144024400 @default.
- W1997414512 hasConceptScore W1997414512C149635348 @default.
- W1997414512 hasConceptScore W1997414512C168725872 @default.
- W1997414512 hasConceptScore W1997414512C171250308 @default.
- W1997414512 hasConceptScore W1997414512C192562407 @default.
- W1997414512 hasConceptScore W1997414512C199360897 @default.
- W1997414512 hasConceptScore W1997414512C2779530757 @default.
- W1997414512 hasConceptScore W1997414512C36289849 @default.
- W1997414512 hasConceptScore W1997414512C37135326 @default.
- W1997414512 hasConceptScore W1997414512C41008148 @default.
- W1997414512 hasConceptScore W1997414512C55439883 @default.
- W1997414512 hasConceptScore W1997414512C70388272 @default.
- W1997414512 hasLocation W19974145121 @default.
- W1997414512 hasOpenAccess W1997414512 @default.
- W1997414512 hasPrimaryLocation W19974145121 @default.
- W1997414512 hasRelatedWork W1500908674 @default.
- W1997414512 hasRelatedWork W1576418322 @default.
- W1997414512 hasRelatedWork W1837928792 @default.
- W1997414512 hasRelatedWork W2029307097 @default.
- W1997414512 hasRelatedWork W2032544869 @default.
- W1997414512 hasRelatedWork W2080267935 @default.
- W1997414512 hasRelatedWork W2104779491 @default.
- W1997414512 hasRelatedWork W2105663955 @default.
- W1997414512 hasRelatedWork W2117189826 @default.
- W1997414512 hasRelatedWork W2288307554 @default.
- W1997414512 hasRelatedWork W2476747876 @default.
- W1997414512 hasRelatedWork W2490247016 @default.
- W1997414512 hasRelatedWork W2804324442 @default.
- W1997414512 hasRelatedWork W29002590 @default.
- W1997414512 hasRelatedWork W2913459036 @default.
- W1997414512 hasRelatedWork W2987518875 @default.
- W1997414512 hasRelatedWork W3006301049 @default.
- W1997414512 hasRelatedWork W3050249911 @default.
- W1997414512 hasRelatedWork W966750007 @default.
- W1997414512 hasRelatedWork W2137231106 @default.
- W1997414512 isParatext "false" @default.
- W1997414512 isRetracted "false" @default.
- W1997414512 magId "1997414512" @default.
- W1997414512 workType "article" @default.