Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147231851> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W3147231851 endingPage "805" @default.
- W3147231851 startingPage "800" @default.
- W3147231851 created "2021-04-13" @default.
- W3147231851 creator A5079283230 @default.
- W3147231851 date "2008-01-01" @default.
- W3147231851 modified "2023-09-28" @default.
- W3147231851 title "Strategies for mainstream usage of formal verification" @default.
- W3147231851 hasPublicationYear "2008" @default.
- W3147231851 type Work @default.
- W3147231851 sameAs 3147231851 @default.
- W3147231851 citedByCount "0" @default.
- W3147231851 crossrefType "proceedings-article" @default.
- W3147231851 hasAuthorship W3147231851A5079283230 @default.
- W3147231851 hasConcept C111498074 @default.
- W3147231851 hasConcept C17744445 @default.
- W3147231851 hasConcept C199360897 @default.
- W3147231851 hasConcept C199539241 @default.
- W3147231851 hasConcept C2777617010 @default.
- W3147231851 hasConcept C41008148 @default.
- W3147231851 hasConcept C75606506 @default.
- W3147231851 hasConceptScore W3147231851C111498074 @default.
- W3147231851 hasConceptScore W3147231851C17744445 @default.
- W3147231851 hasConceptScore W3147231851C199360897 @default.
- W3147231851 hasConceptScore W3147231851C199539241 @default.
- W3147231851 hasConceptScore W3147231851C2777617010 @default.
- W3147231851 hasConceptScore W3147231851C41008148 @default.
- W3147231851 hasConceptScore W3147231851C75606506 @default.
- W3147231851 hasLocation W31472318511 @default.
- W3147231851 hasOpenAccess W3147231851 @default.
- W3147231851 hasPrimaryLocation W31472318511 @default.
- W3147231851 hasRelatedWork W1537729445 @default.
- W3147231851 hasRelatedWork W17707429 @default.
- W3147231851 hasRelatedWork W197260665 @default.
- W3147231851 hasRelatedWork W1984736552 @default.
- W3147231851 hasRelatedWork W2021588715 @default.
- W3147231851 hasRelatedWork W2103786851 @default.
- W3147231851 hasRelatedWork W2121633928 @default.
- W3147231851 hasRelatedWork W2122986694 @default.
- W3147231851 hasRelatedWork W2123694040 @default.
- W3147231851 hasRelatedWork W2125689649 @default.
- W3147231851 hasRelatedWork W2142117029 @default.
- W3147231851 hasRelatedWork W2143234356 @default.
- W3147231851 hasRelatedWork W2143299176 @default.
- W3147231851 hasRelatedWork W2153345166 @default.
- W3147231851 hasRelatedWork W2199331404 @default.
- W3147231851 hasRelatedWork W2506319708 @default.
- W3147231851 hasRelatedWork W2534570611 @default.
- W3147231851 hasRelatedWork W2735541271 @default.
- W3147231851 hasRelatedWork W2782794636 @default.
- W3147231851 hasRelatedWork W2801823284 @default.
- W3147231851 isParatext "false" @default.
- W3147231851 isRetracted "false" @default.
- W3147231851 magId "3147231851" @default.
- W3147231851 workType "article" @default.