Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376583509> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W4376583509 created "2023-05-17" @default.
- W4376583509 date "2002-01-01" @default.
- W4376583509 modified "2023-10-16" @default.
- W4376583509 title "Verification, Model Checking, and Abstract Interpretation" @default.
- W4376583509 doi "https://doi.org/10.1007/3-540-47813-2" @default.
- W4376583509 hasPublicationYear "2002" @default.
- W4376583509 type Work @default.
- W4376583509 citedByCount "0" @default.
- W4376583509 crossrefType "book" @default.
- W4376583509 hasConcept C110251889 @default.
- W4376583509 hasConcept C199360897 @default.
- W4376583509 hasConcept C2780654840 @default.
- W4376583509 hasConcept C41008148 @default.
- W4376583509 hasConcept C527412718 @default.
- W4376583509 hasConceptScore W4376583509C110251889 @default.
- W4376583509 hasConceptScore W4376583509C199360897 @default.
- W4376583509 hasConceptScore W4376583509C2780654840 @default.
- W4376583509 hasConceptScore W4376583509C41008148 @default.
- W4376583509 hasConceptScore W4376583509C527412718 @default.
- W4376583509 hasLocation W43765835091 @default.
- W4376583509 hasOpenAccess W4376583509 @default.
- W4376583509 hasPrimaryLocation W43765835091 @default.
- W4376583509 hasRelatedWork W152483390 @default.
- W4376583509 hasRelatedWork W2137908418 @default.
- W4376583509 hasRelatedWork W2151898527 @default.
- W4376583509 hasRelatedWork W2172022734 @default.
- W4376583509 hasRelatedWork W2377542611 @default.
- W4376583509 hasRelatedWork W3137189469 @default.
- W4376583509 hasRelatedWork W4206726327 @default.
- W4376583509 hasRelatedWork W2500461980 @default.
- W4376583509 hasRelatedWork W2611182424 @default.
- W4376583509 hasRelatedWork W2789178056 @default.
- W4376583509 isParatext "false" @default.
- W4376583509 isRetracted "false" @default.
- W4376583509 workType "book" @default.