Matches in SemOpenAlex for { <https://semopenalex.org/work/W1915669309> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1915669309 endingPage "372" @default.
- W1915669309 startingPage "343" @default.
- W1915669309 created "2016-06-24" @default.
- W1915669309 creator A5040019233 @default.
- W1915669309 creator A5050442585 @default.
- W1915669309 date "2002-01-01" @default.
- W1915669309 modified "2023-10-18" @default.
- W1915669309 title "Combinational and Sequential Equivalence Checking" @default.
- W1915669309 cites W164685601 @default.
- W1915669309 cites W1881699167 @default.
- W1915669309 cites W1947290622 @default.
- W1915669309 cites W1988698058 @default.
- W1915669309 cites W1994143452 @default.
- W1915669309 cites W2012336463 @default.
- W1915669309 cites W2021401782 @default.
- W1915669309 cites W2033736457 @default.
- W1915669309 cites W2080267935 @default.
- W1915669309 cites W2088622131 @default.
- W1915669309 cites W2099120582 @default.
- W1915669309 cites W2101159578 @default.
- W1915669309 cites W2109103805 @default.
- W1915669309 cites W2110737535 @default.
- W1915669309 cites W2116242425 @default.
- W1915669309 cites W2117656743 @default.
- W1915669309 cites W2117783862 @default.
- W1915669309 cites W2120925552 @default.
- W1915669309 cites W2121750555 @default.
- W1915669309 cites W2137889577 @default.
- W1915669309 cites W2145785237 @default.
- W1915669309 cites W2155562553 @default.
- W1915669309 cites W2161157457 @default.
- W1915669309 cites W2161215542 @default.
- W1915669309 cites W2161677825 @default.
- W1915669309 cites W2163730402 @default.
- W1915669309 cites W2168974500 @default.
- W1915669309 cites W2294466096 @default.
- W1915669309 cites W3161092854 @default.
- W1915669309 cites W4237163049 @default.
- W1915669309 cites W4241530675 @default.
- W1915669309 cites W4243399171 @default.
- W1915669309 cites W4243505900 @default.
- W1915669309 cites W4247648249 @default.
- W1915669309 cites W4250225510 @default.
- W1915669309 cites W4251370346 @default.
- W1915669309 doi "https://doi.org/10.1007/978-1-4615-0817-5_13" @default.
- W1915669309 hasPublicationYear "2002" @default.
- W1915669309 type Work @default.
- W1915669309 sameAs 1915669309 @default.
- W1915669309 citedByCount "19" @default.
- W1915669309 countsByYear W19156693092012 @default.
- W1915669309 countsByYear W19156693092013 @default.
- W1915669309 countsByYear W19156693092015 @default.
- W1915669309 countsByYear W19156693092019 @default.
- W1915669309 countsByYear W19156693092020 @default.
- W1915669309 countsByYear W19156693092021 @default.
- W1915669309 crossrefType "book-chapter" @default.
- W1915669309 hasAuthorship W1915669309A5040019233 @default.
- W1915669309 hasAuthorship W1915669309A5050442585 @default.
- W1915669309 hasConcept C110251889 @default.
- W1915669309 hasConcept C11413529 @default.
- W1915669309 hasConcept C118615104 @default.
- W1915669309 hasConcept C2780069185 @default.
- W1915669309 hasConcept C30888246 @default.
- W1915669309 hasConcept C33923547 @default.
- W1915669309 hasConcept C41008148 @default.
- W1915669309 hasConcept C70846408 @default.
- W1915669309 hasConcept C80444323 @default.
- W1915669309 hasConcept C96654402 @default.
- W1915669309 hasConceptScore W1915669309C110251889 @default.
- W1915669309 hasConceptScore W1915669309C11413529 @default.
- W1915669309 hasConceptScore W1915669309C118615104 @default.
- W1915669309 hasConceptScore W1915669309C2780069185 @default.
- W1915669309 hasConceptScore W1915669309C30888246 @default.
- W1915669309 hasConceptScore W1915669309C33923547 @default.
- W1915669309 hasConceptScore W1915669309C41008148 @default.
- W1915669309 hasConceptScore W1915669309C70846408 @default.
- W1915669309 hasConceptScore W1915669309C80444323 @default.
- W1915669309 hasConceptScore W1915669309C96654402 @default.
- W1915669309 hasLocation W19156693091 @default.
- W1915669309 hasOpenAccess W1915669309 @default.
- W1915669309 hasPrimaryLocation W19156693091 @default.
- W1915669309 hasRelatedWork W1915669309 @default.
- W1915669309 hasRelatedWork W2122041181 @default.
- W1915669309 hasRelatedWork W2122139801 @default.
- W1915669309 hasRelatedWork W2125121514 @default.
- W1915669309 hasRelatedWork W2379508821 @default.
- W1915669309 hasRelatedWork W2728756936 @default.
- W1915669309 hasRelatedWork W2895040814 @default.
- W1915669309 hasRelatedWork W3046927439 @default.
- W1915669309 hasRelatedWork W4296970324 @default.
- W1915669309 hasRelatedWork W2389474774 @default.
- W1915669309 isParatext "false" @default.
- W1915669309 isRetracted "false" @default.
- W1915669309 magId "1915669309" @default.
- W1915669309 workType "book-chapter" @default.