Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396420078> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2396420078 endingPage "116" @default.
- W2396420078 startingPage "107" @default.
- W2396420078 created "2016-06-24" @default.
- W2396420078 creator A5002292119 @default.
- W2396420078 creator A5010328977 @default.
- W2396420078 creator A5021443153 @default.
- W2396420078 creator A5038861833 @default.
- W2396420078 creator A5059832105 @default.
- W2396420078 date "2010-01-01" @default.
- W2396420078 modified "2023-09-28" @default.
- W2396420078 title "SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs." @default.
- W2396420078 hasPublicationYear "2010" @default.
- W2396420078 type Work @default.
- W2396420078 sameAs 2396420078 @default.
- W2396420078 citedByCount "0" @default.
- W2396420078 crossrefType "journal-article" @default.
- W2396420078 hasAuthorship W2396420078A5002292119 @default.
- W2396420078 hasAuthorship W2396420078A5010328977 @default.
- W2396420078 hasAuthorship W2396420078A5021443153 @default.
- W2396420078 hasAuthorship W2396420078A5038861833 @default.
- W2396420078 hasAuthorship W2396420078A5059832105 @default.
- W2396420078 hasConcept C111498074 @default.
- W2396420078 hasConcept C11413529 @default.
- W2396420078 hasConcept C118615104 @default.
- W2396420078 hasConcept C199360897 @default.
- W2396420078 hasConcept C33923547 @default.
- W2396420078 hasConcept C41008148 @default.
- W2396420078 hasConcept C54732982 @default.
- W2396420078 hasConcept C62460635 @default.
- W2396420078 hasConcept C80444323 @default.
- W2396420078 hasConcept C94375191 @default.
- W2396420078 hasConceptScore W2396420078C111498074 @default.
- W2396420078 hasConceptScore W2396420078C11413529 @default.
- W2396420078 hasConceptScore W2396420078C118615104 @default.
- W2396420078 hasConceptScore W2396420078C199360897 @default.
- W2396420078 hasConceptScore W2396420078C33923547 @default.
- W2396420078 hasConceptScore W2396420078C41008148 @default.
- W2396420078 hasConceptScore W2396420078C54732982 @default.
- W2396420078 hasConceptScore W2396420078C62460635 @default.
- W2396420078 hasConceptScore W2396420078C80444323 @default.
- W2396420078 hasConceptScore W2396420078C94375191 @default.
- W2396420078 hasLocation W23964200781 @default.
- W2396420078 hasOpenAccess W2396420078 @default.
- W2396420078 hasPrimaryLocation W23964200781 @default.
- W2396420078 hasRelatedWork W110658366 @default.
- W2396420078 hasRelatedWork W126605692 @default.
- W2396420078 hasRelatedWork W1492439953 @default.
- W2396420078 hasRelatedWork W1600508047 @default.
- W2396420078 hasRelatedWork W1607919398 @default.
- W2396420078 hasRelatedWork W1985863051 @default.
- W2396420078 hasRelatedWork W2047591646 @default.
- W2396420078 hasRelatedWork W2048413377 @default.
- W2396420078 hasRelatedWork W2071209259 @default.
- W2396420078 hasRelatedWork W2114661858 @default.
- W2396420078 hasRelatedWork W2139907818 @default.
- W2396420078 hasRelatedWork W2153390672 @default.
- W2396420078 hasRelatedWork W217540047 @default.
- W2396420078 hasRelatedWork W2348129335 @default.
- W2396420078 hasRelatedWork W2371814225 @default.
- W2396420078 hasRelatedWork W2587249855 @default.
- W2396420078 hasRelatedWork W2801524592 @default.
- W2396420078 hasRelatedWork W299694663 @default.
- W2396420078 hasRelatedWork W3148742838 @default.
- W2396420078 hasRelatedWork W3164530004 @default.
- W2396420078 isParatext "false" @default.
- W2396420078 isRetracted "false" @default.
- W2396420078 magId "2396420078" @default.
- W2396420078 workType "article" @default.