Matches in SemOpenAlex for { <https://semopenalex.org/work/W1864417503> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1864417503 endingPage "3" @default.
- W1864417503 startingPage "1" @default.
- W1864417503 created "2016-06-24" @default.
- W1864417503 creator A5062411838 @default.
- W1864417503 date "2002-12-16" @default.
- W1864417503 modified "2023-10-18" @default.
- W1864417503 title "Software Model Checking with Abstraction Refinement" @default.
- W1864417503 cites W1515363397 @default.
- W1864417503 cites W1517320587 @default.
- W1864417503 cites W1540741945 @default.
- W1864417503 cites W1553858749 @default.
- W1864417503 cites W1556462035 @default.
- W1864417503 cites W1991837261 @default.
- W1864417503 cites W2007541742 @default.
- W1864417503 cites W2046160987 @default.
- W1864417503 cites W2098495346 @default.
- W1864417503 cites W2121096888 @default.
- W1864417503 cites W2128111779 @default.
- W1864417503 doi "https://doi.org/10.1007/3-540-36384-x_1" @default.
- W1864417503 hasPublicationYear "2002" @default.
- W1864417503 type Work @default.
- W1864417503 sameAs 1864417503 @default.
- W1864417503 citedByCount "2" @default.
- W1864417503 crossrefType "book-chapter" @default.
- W1864417503 hasAuthorship W1864417503A5062411838 @default.
- W1864417503 hasConcept C110251889 @default.
- W1864417503 hasConcept C111472728 @default.
- W1864417503 hasConcept C111498074 @default.
- W1864417503 hasConcept C11413529 @default.
- W1864417503 hasConcept C118615104 @default.
- W1864417503 hasConcept C119857082 @default.
- W1864417503 hasConcept C124304363 @default.
- W1864417503 hasConcept C136643341 @default.
- W1864417503 hasConcept C138885662 @default.
- W1864417503 hasConcept C149091818 @default.
- W1864417503 hasConcept C162838799 @default.
- W1864417503 hasConcept C189950617 @default.
- W1864417503 hasConcept C199360897 @default.
- W1864417503 hasConcept C2777904410 @default.
- W1864417503 hasConcept C2780654840 @default.
- W1864417503 hasConcept C33923547 @default.
- W1864417503 hasConcept C41008148 @default.
- W1864417503 hasConcept C80444323 @default.
- W1864417503 hasConcept C97256817 @default.
- W1864417503 hasConceptScore W1864417503C110251889 @default.
- W1864417503 hasConceptScore W1864417503C111472728 @default.
- W1864417503 hasConceptScore W1864417503C111498074 @default.
- W1864417503 hasConceptScore W1864417503C11413529 @default.
- W1864417503 hasConceptScore W1864417503C118615104 @default.
- W1864417503 hasConceptScore W1864417503C119857082 @default.
- W1864417503 hasConceptScore W1864417503C124304363 @default.
- W1864417503 hasConceptScore W1864417503C136643341 @default.
- W1864417503 hasConceptScore W1864417503C138885662 @default.
- W1864417503 hasConceptScore W1864417503C149091818 @default.
- W1864417503 hasConceptScore W1864417503C162838799 @default.
- W1864417503 hasConceptScore W1864417503C189950617 @default.
- W1864417503 hasConceptScore W1864417503C199360897 @default.
- W1864417503 hasConceptScore W1864417503C2777904410 @default.
- W1864417503 hasConceptScore W1864417503C2780654840 @default.
- W1864417503 hasConceptScore W1864417503C33923547 @default.
- W1864417503 hasConceptScore W1864417503C41008148 @default.
- W1864417503 hasConceptScore W1864417503C80444323 @default.
- W1864417503 hasConceptScore W1864417503C97256817 @default.
- W1864417503 hasLocation W18644175031 @default.
- W1864417503 hasOpenAccess W1864417503 @default.
- W1864417503 hasPrimaryLocation W18644175031 @default.
- W1864417503 hasRelatedWork W1600235415 @default.
- W1864417503 hasRelatedWork W1864417503 @default.
- W1864417503 hasRelatedWork W1994348879 @default.
- W1864417503 hasRelatedWork W2003959877 @default.
- W1864417503 hasRelatedWork W20424721 @default.
- W1864417503 hasRelatedWork W2127574686 @default.
- W1864417503 hasRelatedWork W2158395308 @default.
- W1864417503 hasRelatedWork W2186626863 @default.
- W1864417503 hasRelatedWork W2782143183 @default.
- W1864417503 hasRelatedWork W2610540209 @default.
- W1864417503 isParatext "false" @default.
- W1864417503 isRetracted "false" @default.
- W1864417503 magId "1864417503" @default.
- W1864417503 workType "book-chapter" @default.