Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558903826> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1558903826 endingPage "911" @default.
- W1558903826 startingPage "905" @default.
- W1558903826 created "2016-06-24" @default.
- W1558903826 creator A5010922582 @default.
- W1558903826 creator A5075396667 @default.
- W1558903826 date "2006-01-01" @default.
- W1558903826 modified "2023-09-27" @default.
- W1558903826 title "Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model" @default.
- W1558903826 cites W1625256512 @default.
- W1558903826 cites W2145823831 @default.
- W1558903826 doi "https://doi.org/10.1007/11751649_99" @default.
- W1558903826 hasPublicationYear "2006" @default.
- W1558903826 type Work @default.
- W1558903826 sameAs 1558903826 @default.
- W1558903826 citedByCount "10" @default.
- W1558903826 countsByYear W15589038262012 @default.
- W1558903826 countsByYear W15589038262014 @default.
- W1558903826 countsByYear W15589038262015 @default.
- W1558903826 countsByYear W15589038262019 @default.
- W1558903826 crossrefType "book-chapter" @default.
- W1558903826 hasAuthorship W1558903826A5010922582 @default.
- W1558903826 hasAuthorship W1558903826A5075396667 @default.
- W1558903826 hasConcept C110251889 @default.
- W1558903826 hasConcept C115903868 @default.
- W1558903826 hasConcept C138885662 @default.
- W1558903826 hasConcept C160191386 @default.
- W1558903826 hasConcept C184337299 @default.
- W1558903826 hasConcept C193702766 @default.
- W1558903826 hasConcept C19768560 @default.
- W1558903826 hasConcept C199360897 @default.
- W1558903826 hasConcept C2777159308 @default.
- W1558903826 hasConcept C2778029271 @default.
- W1558903826 hasConcept C30888246 @default.
- W1558903826 hasConcept C41008148 @default.
- W1558903826 hasConcept C41895202 @default.
- W1558903826 hasConcept C48103436 @default.
- W1558903826 hasConcept C80444323 @default.
- W1558903826 hasConceptScore W1558903826C110251889 @default.
- W1558903826 hasConceptScore W1558903826C115903868 @default.
- W1558903826 hasConceptScore W1558903826C138885662 @default.
- W1558903826 hasConceptScore W1558903826C160191386 @default.
- W1558903826 hasConceptScore W1558903826C184337299 @default.
- W1558903826 hasConceptScore W1558903826C193702766 @default.
- W1558903826 hasConceptScore W1558903826C19768560 @default.
- W1558903826 hasConceptScore W1558903826C199360897 @default.
- W1558903826 hasConceptScore W1558903826C2777159308 @default.
- W1558903826 hasConceptScore W1558903826C2778029271 @default.
- W1558903826 hasConceptScore W1558903826C30888246 @default.
- W1558903826 hasConceptScore W1558903826C41008148 @default.
- W1558903826 hasConceptScore W1558903826C41895202 @default.
- W1558903826 hasConceptScore W1558903826C48103436 @default.
- W1558903826 hasConceptScore W1558903826C80444323 @default.
- W1558903826 hasLocation W15589038261 @default.
- W1558903826 hasOpenAccess W1558903826 @default.
- W1558903826 hasPrimaryLocation W15589038261 @default.
- W1558903826 hasRelatedWork W1558903826 @default.
- W1558903826 hasRelatedWork W1568032801 @default.
- W1558903826 hasRelatedWork W1985493680 @default.
- W1558903826 hasRelatedWork W2145823831 @default.
- W1558903826 hasRelatedWork W2149515428 @default.
- W1558903826 hasRelatedWork W2151898527 @default.
- W1558903826 hasRelatedWork W2540053705 @default.
- W1558903826 hasRelatedWork W3184417962 @default.
- W1558903826 hasRelatedWork W1894736207 @default.
- W1558903826 hasRelatedWork W2797236555 @default.
- W1558903826 isParatext "false" @default.
- W1558903826 isRetracted "false" @default.
- W1558903826 magId "1558903826" @default.
- W1558903826 workType "book-chapter" @default.