Matches in SemOpenAlex for { <https://semopenalex.org/work/W1964632015> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1964632015 created "2016-06-24" @default.
- W1964632015 creator A5023807441 @default.
- W1964632015 creator A5051238737 @default.
- W1964632015 date "2007-12-01" @default.
- W1964632015 modified "2023-09-27" @default.
- W1964632015 title "Combining search space partition and abstraction for LTL model checking" @default.
- W1964632015 cites W123625018 @default.
- W1964632015 cites W1502176651 @default.
- W1964632015 cites W1547100201 @default.
- W1964632015 cites W1586334994 @default.
- W1964632015 cites W1592656068 @default.
- W1964632015 cites W1973325907 @default.
- W1964632015 cites W2005771507 @default.
- W1964632015 cites W2017320285 @default.
- W1964632015 cites W2046160987 @default.
- W1964632015 cites W2080593426 @default.
- W1964632015 cites W2090106217 @default.
- W1964632015 cites W2126062395 @default.
- W1964632015 cites W2158395308 @default.
- W1964632015 doi "https://doi.org/10.1007/s11432-007-0073-y" @default.
- W1964632015 hasPublicationYear "2007" @default.
- W1964632015 type Work @default.
- W1964632015 sameAs 1964632015 @default.
- W1964632015 citedByCount "3" @default.
- W1964632015 countsByYear W19646320152012 @default.
- W1964632015 countsByYear W19646320152017 @default.
- W1964632015 crossrefType "journal-article" @default.
- W1964632015 hasAuthorship W1964632015A5023807441 @default.
- W1964632015 hasAuthorship W1964632015A5051238737 @default.
- W1964632015 hasConcept C105795698 @default.
- W1964632015 hasConcept C110251889 @default.
- W1964632015 hasConcept C111472728 @default.
- W1964632015 hasConcept C111919701 @default.
- W1964632015 hasConcept C11413529 @default.
- W1964632015 hasConcept C114614502 @default.
- W1964632015 hasConcept C124304363 @default.
- W1964632015 hasConcept C13670688 @default.
- W1964632015 hasConcept C138885662 @default.
- W1964632015 hasConcept C17744445 @default.
- W1964632015 hasConcept C199539241 @default.
- W1964632015 hasConcept C26517878 @default.
- W1964632015 hasConcept C2776359362 @default.
- W1964632015 hasConcept C2776650193 @default.
- W1964632015 hasConcept C2778572836 @default.
- W1964632015 hasConcept C30888246 @default.
- W1964632015 hasConcept C33923547 @default.
- W1964632015 hasConcept C38652104 @default.
- W1964632015 hasConcept C41008148 @default.
- W1964632015 hasConcept C42812 @default.
- W1964632015 hasConcept C72434380 @default.
- W1964632015 hasConcept C80444323 @default.
- W1964632015 hasConcept C94625758 @default.
- W1964632015 hasConceptScore W1964632015C105795698 @default.
- W1964632015 hasConceptScore W1964632015C110251889 @default.
- W1964632015 hasConceptScore W1964632015C111472728 @default.
- W1964632015 hasConceptScore W1964632015C111919701 @default.
- W1964632015 hasConceptScore W1964632015C11413529 @default.
- W1964632015 hasConceptScore W1964632015C114614502 @default.
- W1964632015 hasConceptScore W1964632015C124304363 @default.
- W1964632015 hasConceptScore W1964632015C13670688 @default.
- W1964632015 hasConceptScore W1964632015C138885662 @default.
- W1964632015 hasConceptScore W1964632015C17744445 @default.
- W1964632015 hasConceptScore W1964632015C199539241 @default.
- W1964632015 hasConceptScore W1964632015C26517878 @default.
- W1964632015 hasConceptScore W1964632015C2776359362 @default.
- W1964632015 hasConceptScore W1964632015C2776650193 @default.
- W1964632015 hasConceptScore W1964632015C2778572836 @default.
- W1964632015 hasConceptScore W1964632015C30888246 @default.
- W1964632015 hasConceptScore W1964632015C33923547 @default.
- W1964632015 hasConceptScore W1964632015C38652104 @default.
- W1964632015 hasConceptScore W1964632015C41008148 @default.
- W1964632015 hasConceptScore W1964632015C42812 @default.
- W1964632015 hasConceptScore W1964632015C72434380 @default.
- W1964632015 hasConceptScore W1964632015C80444323 @default.
- W1964632015 hasConceptScore W1964632015C94625758 @default.
- W1964632015 hasLocation W19646320151 @default.
- W1964632015 hasOpenAccess W1964632015 @default.
- W1964632015 hasPrimaryLocation W19646320151 @default.
- W1964632015 hasRelatedWork W142178511 @default.
- W1964632015 hasRelatedWork W1964632015 @default.
- W1964632015 hasRelatedWork W1991474412 @default.
- W1964632015 hasRelatedWork W2003959877 @default.
- W1964632015 hasRelatedWork W2098792562 @default.
- W1964632015 hasRelatedWork W2106098610 @default.
- W1964632015 hasRelatedWork W2151572669 @default.
- W1964632015 hasRelatedWork W2154822190 @default.
- W1964632015 hasRelatedWork W2332368292 @default.
- W1964632015 hasRelatedWork W2474628799 @default.
- W1964632015 isParatext "false" @default.
- W1964632015 isRetracted "false" @default.
- W1964632015 magId "1964632015" @default.
- W1964632015 workType "article" @default.