Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964440234> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W2964440234 created "2019-08-13" @default.
- W2964440234 creator A5075798875 @default.
- W2964440234 date "2004-01-01" @default.
- W2964440234 modified "2023-09-27" @default.
- W2964440234 title "FSATS -- a case study of computer-aided verification for large systems." @default.
- W2964440234 hasPublicationYear "2004" @default.
- W2964440234 type Work @default.
- W2964440234 sameAs 2964440234 @default.
- W2964440234 citedByCount "0" @default.
- W2964440234 crossrefType "journal-article" @default.
- W2964440234 hasAuthorship W2964440234A5075798875 @default.
- W2964440234 hasConcept C199360897 @default.
- W2964440234 hasConcept C41008148 @default.
- W2964440234 hasConceptScore W2964440234C199360897 @default.
- W2964440234 hasConceptScore W2964440234C41008148 @default.
- W2964440234 hasLocation W29644402341 @default.
- W2964440234 hasOpenAccess W2964440234 @default.
- W2964440234 hasPrimaryLocation W29644402341 @default.
- W2964440234 hasRelatedWork W1015688197 @default.
- W2964440234 hasRelatedWork W1553653783 @default.
- W2964440234 hasRelatedWork W184890046 @default.
- W2964440234 hasRelatedWork W188701353 @default.
- W2964440234 hasRelatedWork W2136931969 @default.
- W2964440234 hasRelatedWork W2238621239 @default.
- W2964440234 hasRelatedWork W2239088684 @default.
- W2964440234 hasRelatedWork W22481924 @default.
- W2964440234 hasRelatedWork W2297029380 @default.
- W2964440234 hasRelatedWork W2309582574 @default.
- W2964440234 hasRelatedWork W2495289433 @default.
- W2964440234 hasRelatedWork W2505834402 @default.
- W2964440234 hasRelatedWork W2570320264 @default.
- W2964440234 hasRelatedWork W2588869261 @default.
- W2964440234 hasRelatedWork W2786024550 @default.
- W2964440234 hasRelatedWork W2801511977 @default.
- W2964440234 hasRelatedWork W2917918651 @default.
- W2964440234 hasRelatedWork W3116726310 @default.
- W2964440234 hasRelatedWork W958989359 @default.
- W2964440234 hasRelatedWork W2837369516 @default.
- W2964440234 isParatext "false" @default.
- W2964440234 isRetracted "false" @default.
- W2964440234 magId "2964440234" @default.
- W2964440234 workType "article" @default.