Matches in SemOpenAlex for { <https://semopenalex.org/work/W290312082> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W290312082 endingPage "1038" @default.
- W290312082 startingPage "1030" @default.
- W290312082 created "2016-06-24" @default.
- W290312082 creator A5000525449 @default.
- W290312082 creator A5048981216 @default.
- W290312082 date "1993-09-25" @default.
- W290312082 modified "2023-09-23" @default.
- W290312082 title "Automatic Generation and Verification of Sufficient Correctness Properties of Synchornous Array Processors (Special Issue on Synthesis and Verification of Hardware Design)" @default.
- W290312082 hasPublicationYear "1993" @default.
- W290312082 type Work @default.
- W290312082 sameAs 290312082 @default.
- W290312082 citedByCount "0" @default.
- W290312082 crossrefType "journal-article" @default.
- W290312082 hasAuthorship W290312082A5000525449 @default.
- W290312082 hasAuthorship W290312082A5048981216 @default.
- W290312082 hasConcept C111498074 @default.
- W290312082 hasConcept C118524514 @default.
- W290312082 hasConcept C149635348 @default.
- W290312082 hasConcept C186846655 @default.
- W290312082 hasConcept C187250869 @default.
- W290312082 hasConcept C199360897 @default.
- W290312082 hasConcept C2777904410 @default.
- W290312082 hasConcept C3406870 @default.
- W290312082 hasConcept C41008148 @default.
- W290312082 hasConcept C529173508 @default.
- W290312082 hasConcept C55439883 @default.
- W290312082 hasConcept C62460635 @default.
- W290312082 hasConcept C9390403 @default.
- W290312082 hasConceptScore W290312082C111498074 @default.
- W290312082 hasConceptScore W290312082C118524514 @default.
- W290312082 hasConceptScore W290312082C149635348 @default.
- W290312082 hasConceptScore W290312082C186846655 @default.
- W290312082 hasConceptScore W290312082C187250869 @default.
- W290312082 hasConceptScore W290312082C199360897 @default.
- W290312082 hasConceptScore W290312082C2777904410 @default.
- W290312082 hasConceptScore W290312082C3406870 @default.
- W290312082 hasConceptScore W290312082C41008148 @default.
- W290312082 hasConceptScore W290312082C529173508 @default.
- W290312082 hasConceptScore W290312082C55439883 @default.
- W290312082 hasConceptScore W290312082C62460635 @default.
- W290312082 hasConceptScore W290312082C9390403 @default.
- W290312082 hasIssue "9" @default.
- W290312082 hasLocation W2903120821 @default.
- W290312082 hasOpenAccess W290312082 @default.
- W290312082 hasPrimaryLocation W2903120821 @default.
- W290312082 hasRelatedWork W1540814057 @default.
- W290312082 hasRelatedWork W1598896337 @default.
- W290312082 hasRelatedWork W1876503517 @default.
- W290312082 hasRelatedWork W1970825584 @default.
- W290312082 hasRelatedWork W2016665907 @default.
- W290312082 hasRelatedWork W2101009238 @default.
- W290312082 hasRelatedWork W2109939657 @default.
- W290312082 hasRelatedWork W2119505387 @default.
- W290312082 hasRelatedWork W2129537436 @default.
- W290312082 hasRelatedWork W2350806125 @default.
- W290312082 hasRelatedWork W2358250288 @default.
- W290312082 hasRelatedWork W2363147926 @default.
- W290312082 hasRelatedWork W2365553212 @default.
- W290312082 hasRelatedWork W2393764122 @default.
- W290312082 hasRelatedWork W2534504175 @default.
- W290312082 hasRelatedWork W2535719568 @default.
- W290312082 hasRelatedWork W2611356538 @default.
- W290312082 hasRelatedWork W2727665720 @default.
- W290312082 hasRelatedWork W340864632 @default.
- W290312082 hasRelatedWork W2115882383 @default.
- W290312082 hasVolume "76" @default.
- W290312082 isParatext "false" @default.
- W290312082 isRetracted "false" @default.
- W290312082 magId "290312082" @default.
- W290312082 workType "article" @default.