Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902539133> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2902539133 created "2018-12-11" @default.
- W2902539133 creator A5026267617 @default.
- W2902539133 creator A5039623711 @default.
- W2902539133 creator A5068781921 @default.
- W2902539133 date "2018-12-01" @default.
- W2902539133 modified "2023-10-04" @default.
- W2902539133 title "A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver" @default.
- W2902539133 cites W1430872261 @default.
- W2902539133 cites W1480909796 @default.
- W2902539133 cites W1481397690 @default.
- W2902539133 cites W1547285994 @default.
- W2902539133 cites W1602156367 @default.
- W2902539133 cites W1719093023 @default.
- W2902539133 cites W1889756448 @default.
- W2902539133 cites W2051016152 @default.
- W2902539133 cites W2117587600 @default.
- W2902539133 cites W2120162396 @default.
- W2902539133 cites W2160536499 @default.
- W2902539133 cites W2160781056 @default.
- W2902539133 cites W2163490397 @default.
- W2902539133 cites W2169832991 @default.
- W2902539133 cites W2514398768 @default.
- W2902539133 cites W2514850971 @default.
- W2902539133 cites W2529658871 @default.
- W2902539133 cites W2562986368 @default.
- W2902539133 cites W2738891045 @default.
- W2902539133 cites W2785638992 @default.
- W2902539133 cites W45829939 @default.
- W2902539133 doi "https://doi.org/10.1587/transinf.2018edp7099" @default.
- W2902539133 hasPublicationYear "2018" @default.
- W2902539133 type Work @default.
- W2902539133 sameAs 2902539133 @default.
- W2902539133 citedByCount "0" @default.
- W2902539133 crossrefType "journal-article" @default.
- W2902539133 hasAuthorship W2902539133A5026267617 @default.
- W2902539133 hasAuthorship W2902539133A5039623711 @default.
- W2902539133 hasAuthorship W2902539133A5068781921 @default.
- W2902539133 hasBestOaLocation W29025391331 @default.
- W2902539133 hasConcept C110251889 @default.
- W2902539133 hasConcept C118524514 @default.
- W2902539133 hasConcept C164155591 @default.
- W2902539133 hasConcept C173608175 @default.
- W2902539133 hasConcept C199360897 @default.
- W2902539133 hasConcept C2778770139 @default.
- W2902539133 hasConcept C41008148 @default.
- W2902539133 hasConceptScore W2902539133C110251889 @default.
- W2902539133 hasConceptScore W2902539133C118524514 @default.
- W2902539133 hasConceptScore W2902539133C164155591 @default.
- W2902539133 hasConceptScore W2902539133C173608175 @default.
- W2902539133 hasConceptScore W2902539133C199360897 @default.
- W2902539133 hasConceptScore W2902539133C2778770139 @default.
- W2902539133 hasConceptScore W2902539133C41008148 @default.
- W2902539133 hasLocation W29025391331 @default.
- W2902539133 hasOpenAccess W2902539133 @default.
- W2902539133 hasPrimaryLocation W29025391331 @default.
- W2902539133 hasRelatedWork W1505526588 @default.
- W2902539133 hasRelatedWork W1587475692 @default.
- W2902539133 hasRelatedWork W1850275321 @default.
- W2902539133 hasRelatedWork W1990214517 @default.
- W2902539133 hasRelatedWork W2005214031 @default.
- W2902539133 hasRelatedWork W204358039 @default.
- W2902539133 hasRelatedWork W216667991 @default.
- W2902539133 hasRelatedWork W2288239939 @default.
- W2902539133 hasRelatedWork W2396384868 @default.
- W2902539133 hasRelatedWork W2965967938 @default.
- W2902539133 isParatext "false" @default.
- W2902539133 isRetracted "false" @default.
- W2902539133 magId "2902539133" @default.
- W2902539133 workType "article" @default.