Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298066474> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W4298066474 created "2022-10-01" @default.
- W4298066474 date "1997-01-01" @default.
- W4298066474 modified "2023-09-25" @default.
- W4298066474 title "Verification, Model Checking and Abstract Interpretation" @default.
- W4298066474 doi "https://doi.org/10.7551/mitpress/4283.003.0053" @default.
- W4298066474 hasPublicationYear "1997" @default.
- W4298066474 type Work @default.
- W4298066474 citedByCount "0" @default.
- W4298066474 crossrefType "book-chapter" @default.
- W4298066474 hasConcept C110251889 @default.
- W4298066474 hasConcept C199360897 @default.
- W4298066474 hasConcept C2780654840 @default.
- W4298066474 hasConcept C41008148 @default.
- W4298066474 hasConcept C527412718 @default.
- W4298066474 hasConceptScore W4298066474C110251889 @default.
- W4298066474 hasConceptScore W4298066474C199360897 @default.
- W4298066474 hasConceptScore W4298066474C2780654840 @default.
- W4298066474 hasConceptScore W4298066474C41008148 @default.
- W4298066474 hasConceptScore W4298066474C527412718 @default.
- W4298066474 hasLocation W42980664741 @default.
- W4298066474 hasOpenAccess W4298066474 @default.
- W4298066474 hasPrimaryLocation W42980664741 @default.
- W4298066474 hasRelatedWork W152483390 @default.
- W4298066474 hasRelatedWork W1537272321 @default.
- W4298066474 hasRelatedWork W1604429416 @default.
- W4298066474 hasRelatedWork W2138161962 @default.
- W4298066474 hasRelatedWork W2151898527 @default.
- W4298066474 hasRelatedWork W2172022734 @default.
- W4298066474 hasRelatedWork W2377542611 @default.
- W4298066474 hasRelatedWork W4206726327 @default.
- W4298066474 hasRelatedWork W2611182424 @default.
- W4298066474 hasRelatedWork W2789178056 @default.
- W4298066474 isParatext "false" @default.
- W4298066474 isRetracted "false" @default.
- W4298066474 workType "book-chapter" @default.