Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017320285> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2017320285 created "2016-06-24" @default.
- W2017320285 creator A5051238737 @default.
- W2017320285 date "2003-11-01" @default.
- W2017320285 modified "2023-10-17" @default.
- W2017320285 title "Combining static analysis and case-based search space partitioning for reducing peak memory in model checking" @default.
- W2017320285 cites W1481851559 @default.
- W2017320285 cites W1507116188 @default.
- W2017320285 cites W1528441743 @default.
- W2017320285 cites W1535497513 @default.
- W2017320285 cites W1536783297 @default.
- W2017320285 cites W1547100201 @default.
- W2017320285 cites W1598591924 @default.
- W2017320285 cites W1607782211 @default.
- W2017320285 cites W1612453857 @default.
- W2017320285 cites W1772581832 @default.
- W2017320285 cites W1860481808 @default.
- W2017320285 cites W1934074768 @default.
- W2017320285 cites W1990161286 @default.
- W2017320285 cites W2005771507 @default.
- W2017320285 cites W2080593426 @default.
- W2017320285 cites W2095748918 @default.
- W2017320285 cites W2114817689 @default.
- W2017320285 cites W2115309705 @default.
- W2017320285 cites W2142634894 @default.
- W2017320285 cites W2155032609 @default.
- W2017320285 cites W2756011084 @default.
- W2017320285 doi "https://doi.org/10.1007/bf02945465" @default.
- W2017320285 hasPublicationYear "2003" @default.
- W2017320285 type Work @default.
- W2017320285 sameAs 2017320285 @default.
- W2017320285 citedByCount "10" @default.
- W2017320285 crossrefType "journal-article" @default.
- W2017320285 hasAuthorship W2017320285A5051238737 @default.
- W2017320285 hasConcept C110251889 @default.
- W2017320285 hasConcept C111498074 @default.
- W2017320285 hasConcept C134306372 @default.
- W2017320285 hasConcept C17231256 @default.
- W2017320285 hasConcept C199360897 @default.
- W2017320285 hasConcept C24858836 @default.
- W2017320285 hasConcept C2776329536 @default.
- W2017320285 hasConcept C33923547 @default.
- W2017320285 hasConcept C41008148 @default.
- W2017320285 hasConcept C80444323 @default.
- W2017320285 hasConcept C97686452 @default.
- W2017320285 hasConceptScore W2017320285C110251889 @default.
- W2017320285 hasConceptScore W2017320285C111498074 @default.
- W2017320285 hasConceptScore W2017320285C134306372 @default.
- W2017320285 hasConceptScore W2017320285C17231256 @default.
- W2017320285 hasConceptScore W2017320285C199360897 @default.
- W2017320285 hasConceptScore W2017320285C24858836 @default.
- W2017320285 hasConceptScore W2017320285C2776329536 @default.
- W2017320285 hasConceptScore W2017320285C33923547 @default.
- W2017320285 hasConceptScore W2017320285C41008148 @default.
- W2017320285 hasConceptScore W2017320285C80444323 @default.
- W2017320285 hasConceptScore W2017320285C97686452 @default.
- W2017320285 hasLocation W20173202851 @default.
- W2017320285 hasOpenAccess W2017320285 @default.
- W2017320285 hasPrimaryLocation W20173202851 @default.
- W2017320285 hasRelatedWork W1801993675 @default.
- W2017320285 hasRelatedWork W1984885776 @default.
- W2017320285 hasRelatedWork W1988596123 @default.
- W2017320285 hasRelatedWork W1992946078 @default.
- W2017320285 hasRelatedWork W2002599455 @default.
- W2017320285 hasRelatedWork W2021285256 @default.
- W2017320285 hasRelatedWork W2057623054 @default.
- W2017320285 hasRelatedWork W2151830023 @default.
- W2017320285 hasRelatedWork W3003496213 @default.
- W2017320285 hasRelatedWork W38902447 @default.
- W2017320285 isParatext "false" @default.
- W2017320285 isRetracted "false" @default.
- W2017320285 magId "2017320285" @default.
- W2017320285 workType "article" @default.