Matches in SemOpenAlex for { <https://semopenalex.org/work/W66489457> ?p ?o ?g. }
- W66489457 endingPage "518" @default.
- W66489457 startingPage "507" @default.
- W66489457 created "2016-06-24" @default.
- W66489457 creator A5016649149 @default.
- W66489457 creator A5071340047 @default.
- W66489457 date "2014-08-19" @default.
- W66489457 modified "2023-09-27" @default.
- W66489457 title "BDD-based software verification" @default.
- W66489457 cites W105566936 @default.
- W66489457 cites W1486272257 @default.
- W66489457 cites W1489391022 @default.
- W66489457 cites W1526263050 @default.
- W66489457 cites W1548080088 @default.
- W66489457 cites W1553858749 @default.
- W66489457 cites W1559321056 @default.
- W66489457 cites W1565898282 @default.
- W66489457 cites W1574030932 @default.
- W66489457 cites W1577404745 @default.
- W66489457 cites W1591856965 @default.
- W66489457 cites W165029591 @default.
- W66489457 cites W1787074469 @default.
- W66489457 cites W1848718052 @default.
- W66489457 cites W1850929791 @default.
- W66489457 cites W19356467 @default.
- W66489457 cites W1959882242 @default.
- W66489457 cites W1973954352 @default.
- W66489457 cites W2075309900 @default.
- W66489457 cites W2080267935 @default.
- W66489457 cites W2098244894 @default.
- W66489457 cites W2107089133 @default.
- W66489457 cites W2108016168 @default.
- W66489457 cites W2120484044 @default.
- W66489457 cites W2123976282 @default.
- W66489457 cites W2124207853 @default.
- W66489457 cites W2127574686 @default.
- W66489457 cites W2141472133 @default.
- W66489457 cites W2142718416 @default.
- W66489457 cites W2149647957 @default.
- W66489457 cites W2150119568 @default.
- W66489457 cites W2150790030 @default.
- W66489457 cites W2161253570 @default.
- W66489457 cites W221832247 @default.
- W66489457 cites W241804591 @default.
- W66489457 cites W4212792638 @default.
- W66489457 cites W4252150051 @default.
- W66489457 cites W4255965913 @default.
- W66489457 cites W70032344 @default.
- W66489457 cites W71772184 @default.
- W66489457 cites W86290638 @default.
- W66489457 doi "https://doi.org/10.1007/s10009-014-0334-1" @default.
- W66489457 hasPublicationYear "2014" @default.
- W66489457 type Work @default.
- W66489457 sameAs 66489457 @default.
- W66489457 citedByCount "26" @default.
- W66489457 countsByYear W664894572014 @default.
- W66489457 countsByYear W664894572015 @default.
- W66489457 countsByYear W664894572016 @default.
- W66489457 countsByYear W664894572017 @default.
- W66489457 countsByYear W664894572018 @default.
- W66489457 countsByYear W664894572019 @default.
- W66489457 countsByYear W664894572020 @default.
- W66489457 countsByYear W664894572021 @default.
- W66489457 countsByYear W664894572022 @default.
- W66489457 countsByYear W664894572023 @default.
- W66489457 crossrefType "journal-article" @default.
- W66489457 hasAuthorship W66489457A5016649149 @default.
- W66489457 hasAuthorship W66489457A5071340047 @default.
- W66489457 hasConcept C110251889 @default.
- W66489457 hasConcept C11413529 @default.
- W66489457 hasConcept C136643341 @default.
- W66489457 hasConcept C149091818 @default.
- W66489457 hasConcept C186846655 @default.
- W66489457 hasConcept C199360897 @default.
- W66489457 hasConcept C2777904410 @default.
- W66489457 hasConcept C2779639559 @default.
- W66489457 hasConcept C2779907942 @default.
- W66489457 hasConcept C33054407 @default.
- W66489457 hasConcept C3309909 @default.
- W66489457 hasConcept C41008148 @default.
- W66489457 hasConcept C65620979 @default.
- W66489457 hasConcept C80444323 @default.
- W66489457 hasConceptScore W66489457C110251889 @default.
- W66489457 hasConceptScore W66489457C11413529 @default.
- W66489457 hasConceptScore W66489457C136643341 @default.
- W66489457 hasConceptScore W66489457C149091818 @default.
- W66489457 hasConceptScore W66489457C186846655 @default.
- W66489457 hasConceptScore W66489457C199360897 @default.
- W66489457 hasConceptScore W66489457C2777904410 @default.
- W66489457 hasConceptScore W66489457C2779639559 @default.
- W66489457 hasConceptScore W66489457C2779907942 @default.
- W66489457 hasConceptScore W66489457C33054407 @default.
- W66489457 hasConceptScore W66489457C3309909 @default.
- W66489457 hasConceptScore W66489457C41008148 @default.
- W66489457 hasConceptScore W66489457C65620979 @default.
- W66489457 hasConceptScore W66489457C80444323 @default.
- W66489457 hasIssue "5" @default.
- W66489457 hasLocation W664894571 @default.
- W66489457 hasOpenAccess W66489457 @default.
- W66489457 hasPrimaryLocation W664894571 @default.
- W66489457 hasRelatedWork W109398478 @default.