Matches in SemOpenAlex for { <https://semopenalex.org/work/W55143395> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W55143395 endingPage "212" @default.
- W55143395 startingPage "198" @default.
- W55143395 created "2016-06-24" @default.
- W55143395 creator A5021789649 @default.
- W55143395 creator A5053186367 @default.
- W55143395 creator A5082398343 @default.
- W55143395 date "2013-01-01" @default.
- W55143395 modified "2023-09-24" @default.
- W55143395 title "Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution" @default.
- W55143395 cites W1599489402 @default.
- W55143395 cites W1720848645 @default.
- W55143395 cites W2015321775 @default.
- W55143395 cites W2065413511 @default.
- W55143395 cites W2066210260 @default.
- W55143395 cites W2093709900 @default.
- W55143395 cites W2101512909 @default.
- W55143395 cites W2109065830 @default.
- W55143395 cites W2109276114 @default.
- W55143395 cites W2138856138 @default.
- W55143395 cites W4253178675 @default.
- W55143395 doi "https://doi.org/10.1007/978-3-642-38088-4_14" @default.
- W55143395 hasPublicationYear "2013" @default.
- W55143395 type Work @default.
- W55143395 sameAs 55143395 @default.
- W55143395 citedByCount "6" @default.
- W55143395 countsByYear W551433952014 @default.
- W55143395 countsByYear W551433952015 @default.
- W55143395 countsByYear W551433952017 @default.
- W55143395 countsByYear W551433952018 @default.
- W55143395 countsByYear W551433952019 @default.
- W55143395 crossrefType "book-chapter" @default.
- W55143395 hasAuthorship W55143395A5021789649 @default.
- W55143395 hasAuthorship W55143395A5053186367 @default.
- W55143395 hasAuthorship W55143395A5082398343 @default.
- W55143395 hasConcept C110251889 @default.
- W55143395 hasConcept C173608175 @default.
- W55143395 hasConcept C176181172 @default.
- W55143395 hasConcept C193702766 @default.
- W55143395 hasConcept C199360897 @default.
- W55143395 hasConcept C2777904410 @default.
- W55143395 hasConcept C2779446402 @default.
- W55143395 hasConcept C2779639559 @default.
- W55143395 hasConcept C41008148 @default.
- W55143395 hasConcept C80444323 @default.
- W55143395 hasConceptScore W55143395C110251889 @default.
- W55143395 hasConceptScore W55143395C173608175 @default.
- W55143395 hasConceptScore W55143395C176181172 @default.
- W55143395 hasConceptScore W55143395C193702766 @default.
- W55143395 hasConceptScore W55143395C199360897 @default.
- W55143395 hasConceptScore W55143395C2777904410 @default.
- W55143395 hasConceptScore W55143395C2779446402 @default.
- W55143395 hasConceptScore W55143395C2779639559 @default.
- W55143395 hasConceptScore W55143395C41008148 @default.
- W55143395 hasConceptScore W55143395C80444323 @default.
- W55143395 hasLocation W551433951 @default.
- W55143395 hasOpenAccess W55143395 @default.
- W55143395 hasPrimaryLocation W551433951 @default.
- W55143395 hasRelatedWork W1561964073 @default.
- W55143395 hasRelatedWork W1575764074 @default.
- W55143395 hasRelatedWork W1608345513 @default.
- W55143395 hasRelatedWork W2042445573 @default.
- W55143395 hasRelatedWork W2151898527 @default.
- W55143395 hasRelatedWork W2234667902 @default.
- W55143395 hasRelatedWork W2807336777 @default.
- W55143395 hasRelatedWork W3131671068 @default.
- W55143395 hasRelatedWork W3162832959 @default.
- W55143395 hasRelatedWork W55143395 @default.
- W55143395 isParatext "false" @default.
- W55143395 isRetracted "false" @default.
- W55143395 magId "55143395" @default.
- W55143395 workType "book-chapter" @default.