Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561569407> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1561569407 endingPage "282" @default.
- W1561569407 startingPage "274" @default.
- W1561569407 created "2016-06-24" @default.
- W1561569407 creator A5021789649 @default.
- W1561569407 creator A5047489559 @default.
- W1561569407 date "2008-01-01" @default.
- W1561569407 modified "2023-10-12" @default.
- W1561569407 title "Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software" @default.
- W1561569407 cites W1547234535 @default.
- W1561569407 cites W1848189967 @default.
- W1561569407 cites W2031852978 @default.
- W1561569407 cites W2039241259 @default.
- W1561569407 cites W2068965443 @default.
- W1561569407 cites W2073287439 @default.
- W1561569407 cites W2103772961 @default.
- W1561569407 cites W2138856138 @default.
- W1561569407 cites W2149871224 @default.
- W1561569407 cites W4242728694 @default.
- W1561569407 doi "https://doi.org/10.1007/978-3-540-87475-1_37" @default.
- W1561569407 hasPublicationYear "2008" @default.
- W1561569407 type Work @default.
- W1561569407 sameAs 1561569407 @default.
- W1561569407 citedByCount "10" @default.
- W1561569407 countsByYear W15615694072015 @default.
- W1561569407 countsByYear W15615694072019 @default.
- W1561569407 crossrefType "book-chapter" @default.
- W1561569407 hasAuthorship W1561569407A5021789649 @default.
- W1561569407 hasAuthorship W1561569407A5047489559 @default.
- W1561569407 hasConcept C110251889 @default.
- W1561569407 hasConcept C118615104 @default.
- W1561569407 hasConcept C159023740 @default.
- W1561569407 hasConcept C177264268 @default.
- W1561569407 hasConcept C199360897 @default.
- W1561569407 hasConcept C2776760102 @default.
- W1561569407 hasConcept C2777904410 @default.
- W1561569407 hasConcept C2780069185 @default.
- W1561569407 hasConcept C33923547 @default.
- W1561569407 hasConcept C41008148 @default.
- W1561569407 hasConcept C80444323 @default.
- W1561569407 hasConcept C98045186 @default.
- W1561569407 hasConceptScore W1561569407C110251889 @default.
- W1561569407 hasConceptScore W1561569407C118615104 @default.
- W1561569407 hasConceptScore W1561569407C159023740 @default.
- W1561569407 hasConceptScore W1561569407C177264268 @default.
- W1561569407 hasConceptScore W1561569407C199360897 @default.
- W1561569407 hasConceptScore W1561569407C2776760102 @default.
- W1561569407 hasConceptScore W1561569407C2777904410 @default.
- W1561569407 hasConceptScore W1561569407C2780069185 @default.
- W1561569407 hasConceptScore W1561569407C33923547 @default.
- W1561569407 hasConceptScore W1561569407C41008148 @default.
- W1561569407 hasConceptScore W1561569407C80444323 @default.
- W1561569407 hasConceptScore W1561569407C98045186 @default.
- W1561569407 hasLocation W15615694071 @default.
- W1561569407 hasOpenAccess W1561569407 @default.
- W1561569407 hasPrimaryLocation W15615694071 @default.
- W1561569407 hasRelatedWork W132328680 @default.
- W1561569407 hasRelatedWork W1583364777 @default.
- W1561569407 hasRelatedWork W1688712575 @default.
- W1561569407 hasRelatedWork W2103672915 @default.
- W1561569407 hasRelatedWork W2151898527 @default.
- W1561569407 hasRelatedWork W2158931775 @default.
- W1561569407 hasRelatedWork W2384847609 @default.
- W1561569407 hasRelatedWork W4205778860 @default.
- W1561569407 hasRelatedWork W47563837 @default.
- W1561569407 hasRelatedWork W611940489 @default.
- W1561569407 isParatext "false" @default.
- W1561569407 isRetracted "false" @default.
- W1561569407 magId "1561569407" @default.
- W1561569407 workType "book-chapter" @default.