Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597231867> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1597231867 endingPage "1" @default.
- W1597231867 startingPage "1" @default.
- W1597231867 created "2016-06-24" @default.
- W1597231867 creator A5090974026 @default.
- W1597231867 date "2003-01-01" @default.
- W1597231867 modified "2023-09-23" @default.
- W1597231867 title "SAT-Based Counterexample Guided Abstraction Refinement in Model Checking" @default.
- W1597231867 doi "https://doi.org/10.1007/978-3-540-45085-6_1" @default.
- W1597231867 hasPublicationYear "2003" @default.
- W1597231867 type Work @default.
- W1597231867 sameAs 1597231867 @default.
- W1597231867 citedByCount "3" @default.
- W1597231867 countsByYear W15972318672016 @default.
- W1597231867 countsByYear W15972318672018 @default.
- W1597231867 crossrefType "book-chapter" @default.
- W1597231867 hasAuthorship W1597231867A5090974026 @default.
- W1597231867 hasConcept C110251889 @default.
- W1597231867 hasConcept C111472728 @default.
- W1597231867 hasConcept C11413529 @default.
- W1597231867 hasConcept C118615104 @default.
- W1597231867 hasConcept C121332964 @default.
- W1597231867 hasConcept C124304363 @default.
- W1597231867 hasConcept C129537906 @default.
- W1597231867 hasConcept C134306372 @default.
- W1597231867 hasConcept C138885662 @default.
- W1597231867 hasConcept C162838799 @default.
- W1597231867 hasConcept C182365436 @default.
- W1597231867 hasConcept C199360897 @default.
- W1597231867 hasConcept C2780654840 @default.
- W1597231867 hasConcept C30888246 @default.
- W1597231867 hasConcept C33923547 @default.
- W1597231867 hasConcept C41008148 @default.
- W1597231867 hasConcept C45374587 @default.
- W1597231867 hasConcept C48103436 @default.
- W1597231867 hasConcept C80444323 @default.
- W1597231867 hasConcept C97355855 @default.
- W1597231867 hasConceptScore W1597231867C110251889 @default.
- W1597231867 hasConceptScore W1597231867C111472728 @default.
- W1597231867 hasConceptScore W1597231867C11413529 @default.
- W1597231867 hasConceptScore W1597231867C118615104 @default.
- W1597231867 hasConceptScore W1597231867C121332964 @default.
- W1597231867 hasConceptScore W1597231867C124304363 @default.
- W1597231867 hasConceptScore W1597231867C129537906 @default.
- W1597231867 hasConceptScore W1597231867C134306372 @default.
- W1597231867 hasConceptScore W1597231867C138885662 @default.
- W1597231867 hasConceptScore W1597231867C162838799 @default.
- W1597231867 hasConceptScore W1597231867C182365436 @default.
- W1597231867 hasConceptScore W1597231867C199360897 @default.
- W1597231867 hasConceptScore W1597231867C2780654840 @default.
- W1597231867 hasConceptScore W1597231867C30888246 @default.
- W1597231867 hasConceptScore W1597231867C33923547 @default.
- W1597231867 hasConceptScore W1597231867C41008148 @default.
- W1597231867 hasConceptScore W1597231867C45374587 @default.
- W1597231867 hasConceptScore W1597231867C48103436 @default.
- W1597231867 hasConceptScore W1597231867C80444323 @default.
- W1597231867 hasConceptScore W1597231867C97355855 @default.
- W1597231867 hasLocation W15972318671 @default.
- W1597231867 hasOpenAccess W1597231867 @default.
- W1597231867 hasPrimaryLocation W15972318671 @default.
- W1597231867 hasRelatedWork W1546153726 @default.
- W1597231867 hasRelatedWork W1864417503 @default.
- W1597231867 hasRelatedWork W2003959877 @default.
- W1597231867 hasRelatedWork W2103351789 @default.
- W1597231867 hasRelatedWork W2108408848 @default.
- W1597231867 hasRelatedWork W2158395308 @default.
- W1597231867 hasRelatedWork W2937242976 @default.
- W1597231867 hasRelatedWork W2181384782 @default.
- W1597231867 hasRelatedWork W2468979936 @default.
- W1597231867 hasRelatedWork W2610540209 @default.
- W1597231867 isParatext "false" @default.
- W1597231867 isRetracted "false" @default.
- W1597231867 magId "1597231867" @default.
- W1597231867 workType "book-chapter" @default.