Matches in SemOpenAlex for { <https://semopenalex.org/work/W65213761> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W65213761 endingPage "431" @default.
- W65213761 startingPage "419" @default.
- W65213761 created "2016-06-24" @default.
- W65213761 creator A5006951368 @default.
- W65213761 creator A5071742136 @default.
- W65213761 date "2002-01-01" @default.
- W65213761 modified "2023-09-27" @default.
- W65213761 title "Utilizing High-Level Information for Formal Hardware Verification" @default.
- W65213761 cites W1481825323 @default.
- W65213761 cites W1498875780 @default.
- W65213761 cites W1544872225 @default.
- W65213761 cites W1590506622 @default.
- W65213761 cites W2024148935 @default.
- W65213761 cites W2030224590 @default.
- W65213761 cites W2033546932 @default.
- W65213761 cites W2036085256 @default.
- W65213761 cites W2076541715 @default.
- W65213761 cites W2114092850 @default.
- W65213761 cites W2144415589 @default.
- W65213761 cites W3022794709 @default.
- W65213761 doi "https://doi.org/10.1007/978-1-4419-8530-9_34" @default.
- W65213761 hasPublicationYear "2002" @default.
- W65213761 type Work @default.
- W65213761 sameAs 65213761 @default.
- W65213761 citedByCount "1" @default.
- W65213761 crossrefType "book-chapter" @default.
- W65213761 hasAuthorship W65213761A5006951368 @default.
- W65213761 hasAuthorship W65213761A5071742136 @default.
- W65213761 hasConcept C111498074 @default.
- W65213761 hasConcept C113775141 @default.
- W65213761 hasConcept C11413529 @default.
- W65213761 hasConcept C118524514 @default.
- W65213761 hasConcept C131017901 @default.
- W65213761 hasConcept C142284323 @default.
- W65213761 hasConcept C149091818 @default.
- W65213761 hasConcept C149635348 @default.
- W65213761 hasConcept C157922185 @default.
- W65213761 hasConcept C186846655 @default.
- W65213761 hasConcept C187250869 @default.
- W65213761 hasConcept C199360897 @default.
- W65213761 hasConcept C2777904410 @default.
- W65213761 hasConcept C3406870 @default.
- W65213761 hasConcept C34854456 @default.
- W65213761 hasConcept C41008148 @default.
- W65213761 hasConcept C45374587 @default.
- W65213761 hasConcept C62460635 @default.
- W65213761 hasConcept C64859876 @default.
- W65213761 hasConcept C9390403 @default.
- W65213761 hasConceptScore W65213761C111498074 @default.
- W65213761 hasConceptScore W65213761C113775141 @default.
- W65213761 hasConceptScore W65213761C11413529 @default.
- W65213761 hasConceptScore W65213761C118524514 @default.
- W65213761 hasConceptScore W65213761C131017901 @default.
- W65213761 hasConceptScore W65213761C142284323 @default.
- W65213761 hasConceptScore W65213761C149091818 @default.
- W65213761 hasConceptScore W65213761C149635348 @default.
- W65213761 hasConceptScore W65213761C157922185 @default.
- W65213761 hasConceptScore W65213761C186846655 @default.
- W65213761 hasConceptScore W65213761C187250869 @default.
- W65213761 hasConceptScore W65213761C199360897 @default.
- W65213761 hasConceptScore W65213761C2777904410 @default.
- W65213761 hasConceptScore W65213761C3406870 @default.
- W65213761 hasConceptScore W65213761C34854456 @default.
- W65213761 hasConceptScore W65213761C41008148 @default.
- W65213761 hasConceptScore W65213761C45374587 @default.
- W65213761 hasConceptScore W65213761C62460635 @default.
- W65213761 hasConceptScore W65213761C64859876 @default.
- W65213761 hasConceptScore W65213761C9390403 @default.
- W65213761 hasLocation W652137611 @default.
- W65213761 hasOpenAccess W65213761 @default.
- W65213761 hasPrimaryLocation W652137611 @default.
- W65213761 hasRelatedWork W125379174 @default.
- W65213761 hasRelatedWork W1546572448 @default.
- W65213761 hasRelatedWork W1568110303 @default.
- W65213761 hasRelatedWork W1997420635 @default.
- W65213761 hasRelatedWork W2128943014 @default.
- W65213761 hasRelatedWork W2155558546 @default.
- W65213761 hasRelatedWork W2156392592 @default.
- W65213761 hasRelatedWork W2383138899 @default.
- W65213761 hasRelatedWork W2522852243 @default.
- W65213761 hasRelatedWork W2597455101 @default.
- W65213761 hasRelatedWork W2612574706 @default.
- W65213761 hasRelatedWork W2658284729 @default.
- W65213761 hasRelatedWork W2886316328 @default.
- W65213761 hasRelatedWork W2891866050 @default.
- W65213761 hasRelatedWork W2907442864 @default.
- W65213761 hasRelatedWork W2990502235 @default.
- W65213761 hasRelatedWork W3011831293 @default.
- W65213761 hasRelatedWork W3086332082 @default.
- W65213761 hasRelatedWork W3111667693 @default.
- W65213761 hasRelatedWork W3134109731 @default.
- W65213761 isParatext "false" @default.
- W65213761 isRetracted "false" @default.
- W65213761 magId "65213761" @default.
- W65213761 workType "book-chapter" @default.