Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288292607> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W4288292607 created "2022-07-28" @default.
- W4288292607 creator A5017958562 @default.
- W4288292607 creator A5072246381 @default.
- W4288292607 creator A5079786056 @default.
- W4288292607 date "2019-07-01" @default.
- W4288292607 modified "2023-10-04" @default.
- W4288292607 title "Extracting Safe Thread Schedules from Incomplete Model Checking Results" @default.
- W4288292607 doi "https://doi.org/10.5281/zenodo.3597879" @default.
- W4288292607 hasPublicationYear "2019" @default.
- W4288292607 type Work @default.
- W4288292607 citedByCount "0" @default.
- W4288292607 crossrefType "proceedings" @default.
- W4288292607 hasAuthorship W4288292607A5017958562 @default.
- W4288292607 hasAuthorship W4288292607A5072246381 @default.
- W4288292607 hasAuthorship W4288292607A5079786056 @default.
- W4288292607 hasBestOaLocation W42882926071 @default.
- W4288292607 hasConcept C110251889 @default.
- W4288292607 hasConcept C138101251 @default.
- W4288292607 hasConcept C173608175 @default.
- W4288292607 hasConcept C199360897 @default.
- W4288292607 hasConcept C41008148 @default.
- W4288292607 hasConceptScore W4288292607C110251889 @default.
- W4288292607 hasConceptScore W4288292607C138101251 @default.
- W4288292607 hasConceptScore W4288292607C173608175 @default.
- W4288292607 hasConceptScore W4288292607C199360897 @default.
- W4288292607 hasConceptScore W4288292607C41008148 @default.
- W4288292607 hasLocation W42882926071 @default.
- W4288292607 hasLocation W42882926072 @default.
- W4288292607 hasLocation W42882926073 @default.
- W4288292607 hasOpenAccess W4288292607 @default.
- W4288292607 hasPrimaryLocation W42882926071 @default.
- W4288292607 hasRelatedWork W1532146045 @default.
- W4288292607 hasRelatedWork W1569109055 @default.
- W4288292607 hasRelatedWork W1586422308 @default.
- W4288292607 hasRelatedWork W1594563977 @default.
- W4288292607 hasRelatedWork W2068042411 @default.
- W4288292607 hasRelatedWork W2170268965 @default.
- W4288292607 hasRelatedWork W2187267005 @default.
- W4288292607 hasRelatedWork W2354746308 @default.
- W4288292607 hasRelatedWork W4232891356 @default.
- W4288292607 hasRelatedWork W2527368155 @default.
- W4288292607 isParatext "false" @default.
- W4288292607 isRetracted "false" @default.
- W4288292607 workType "paratext" @default.