Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136292586> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W3136292586 created "2021-03-29" @default.
- W3136292586 creator A5064568178 @default.
- W3136292586 date "2011-11-07" @default.
- W3136292586 modified "2023-09-26" @default.
- W3136292586 title "Session details: The ABCs of formal verification: models, algorithms, and methodologies in RTL- and ESL-based design flows" @default.
- W3136292586 doi "https://doi.org/10.5555/2132325.3248031" @default.
- W3136292586 hasPublicationYear "2011" @default.
- W3136292586 type Work @default.
- W3136292586 sameAs 3136292586 @default.
- W3136292586 citedByCount "0" @default.
- W3136292586 crossrefType "proceedings-article" @default.
- W3136292586 hasAuthorship W3136292586A5064568178 @default.
- W3136292586 hasConcept C111498074 @default.
- W3136292586 hasConcept C11413529 @default.
- W3136292586 hasConcept C115903868 @default.
- W3136292586 hasConcept C118524514 @default.
- W3136292586 hasConcept C136764020 @default.
- W3136292586 hasConcept C199360897 @default.
- W3136292586 hasConcept C2779182362 @default.
- W3136292586 hasConcept C41008148 @default.
- W3136292586 hasConcept C75606506 @default.
- W3136292586 hasConceptScore W3136292586C111498074 @default.
- W3136292586 hasConceptScore W3136292586C11413529 @default.
- W3136292586 hasConceptScore W3136292586C115903868 @default.
- W3136292586 hasConceptScore W3136292586C118524514 @default.
- W3136292586 hasConceptScore W3136292586C136764020 @default.
- W3136292586 hasConceptScore W3136292586C199360897 @default.
- W3136292586 hasConceptScore W3136292586C2779182362 @default.
- W3136292586 hasConceptScore W3136292586C41008148 @default.
- W3136292586 hasConceptScore W3136292586C75606506 @default.
- W3136292586 hasLocation W31362925861 @default.
- W3136292586 hasOpenAccess W3136292586 @default.
- W3136292586 hasPrimaryLocation W31362925861 @default.
- W3136292586 hasRelatedWork W1484942078 @default.
- W3136292586 hasRelatedWork W161175043 @default.
- W3136292586 hasRelatedWork W1979690074 @default.
- W3136292586 hasRelatedWork W1982763467 @default.
- W3136292586 hasRelatedWork W1994222400 @default.
- W3136292586 hasRelatedWork W2007742204 @default.
- W3136292586 hasRelatedWork W2013077575 @default.
- W3136292586 hasRelatedWork W2091198350 @default.
- W3136292586 hasRelatedWork W2092349522 @default.
- W3136292586 hasRelatedWork W2105593427 @default.
- W3136292586 hasRelatedWork W2119341106 @default.
- W3136292586 hasRelatedWork W2128513456 @default.
- W3136292586 hasRelatedWork W2149609054 @default.
- W3136292586 hasRelatedWork W2162584143 @default.
- W3136292586 hasRelatedWork W2167613249 @default.
- W3136292586 hasRelatedWork W2913321280 @default.
- W3136292586 hasRelatedWork W3120172095 @default.
- W3136292586 hasRelatedWork W3136296337 @default.
- W3136292586 hasRelatedWork W3139368654 @default.
- W3136292586 hasRelatedWork W3144339504 @default.
- W3136292586 isParatext "false" @default.
- W3136292586 isRetracted "false" @default.
- W3136292586 magId "3136292586" @default.
- W3136292586 workType "article" @default.