Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912385125> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W2912385125 created "2019-02-21" @default.
- W2912385125 creator A5012137527 @default.
- W2912385125 creator A5071742136 @default.
- W2912385125 creator A5086396507 @default.
- W2912385125 creator A5086566894 @default.
- W2912385125 date "2018-03-13" @default.
- W2912385125 modified "2023-09-27" @default.
- W2912385125 title "Towards Automated Refinement of TLM Properties to RTL." @default.
- W2912385125 doi "https://doi.org/10.15496/publikation-25673" @default.
- W2912385125 hasPublicationYear "2018" @default.
- W2912385125 type Work @default.
- W2912385125 sameAs 2912385125 @default.
- W2912385125 citedByCount "0" @default.
- W2912385125 crossrefType "journal-article" @default.
- W2912385125 hasAuthorship W2912385125A5012137527 @default.
- W2912385125 hasAuthorship W2912385125A5071742136 @default.
- W2912385125 hasAuthorship W2912385125A5086396507 @default.
- W2912385125 hasAuthorship W2912385125A5086566894 @default.
- W2912385125 hasConcept C115903868 @default.
- W2912385125 hasConcept C199360897 @default.
- W2912385125 hasConcept C41008148 @default.
- W2912385125 hasConceptScore W2912385125C115903868 @default.
- W2912385125 hasConceptScore W2912385125C199360897 @default.
- W2912385125 hasConceptScore W2912385125C41008148 @default.
- W2912385125 hasLocation W29123851251 @default.
- W2912385125 hasOpenAccess W2912385125 @default.
- W2912385125 hasPrimaryLocation W29123851251 @default.
- W2912385125 hasRelatedWork W1561115693 @default.
- W2912385125 hasRelatedWork W1921757338 @default.
- W2912385125 hasRelatedWork W2113900344 @default.
- W2912385125 hasRelatedWork W2137558955 @default.
- W2912385125 hasRelatedWork W2179793366 @default.
- W2912385125 hasRelatedWork W2234193552 @default.
- W2912385125 hasRelatedWork W2370083982 @default.
- W2912385125 hasRelatedWork W2905222646 @default.
- W2912385125 hasRelatedWork W2946059195 @default.
- W2912385125 hasRelatedWork W3002801141 @default.
- W2912385125 hasRelatedWork W3045572899 @default.
- W2912385125 hasRelatedWork W3101833147 @default.
- W2912385125 hasRelatedWork W3185563431 @default.
- W2912385125 hasRelatedWork W638082951 @default.
- W2912385125 hasRelatedWork W1061551765 @default.
- W2912385125 hasRelatedWork W2351392962 @default.
- W2912385125 hasRelatedWork W2794703266 @default.
- W2912385125 hasRelatedWork W2795143064 @default.
- W2912385125 hasRelatedWork W2869124742 @default.
- W2912385125 hasRelatedWork W2892398713 @default.
- W2912385125 isParatext "false" @default.
- W2912385125 isRetracted "false" @default.
- W2912385125 magId "2912385125" @default.
- W2912385125 workType "article" @default.