Matches in SemOpenAlex for { <https://semopenalex.org/work/W1563919005> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1563919005 endingPage "279" @default.
- W1563919005 startingPage "256" @default.
- W1563919005 created "2016-06-24" @default.
- W1563919005 creator A5086291871 @default.
- W1563919005 date "2008-01-01" @default.
- W1563919005 modified "2023-09-26" @default.
- W1563919005 title "Understanding SIP through Model-Checking" @default.
- W1563919005 cites W1985444933 @default.
- W1563919005 cites W2041858000 @default.
- W1563919005 cites W2149357410 @default.
- W1563919005 cites W2153299291 @default.
- W1563919005 cites W2158841302 @default.
- W1563919005 cites W2266209190 @default.
- W1563919005 cites W2266782213 @default.
- W1563919005 cites W4242138061 @default.
- W1563919005 doi "https://doi.org/10.1007/978-3-540-89054-6_13" @default.
- W1563919005 hasPublicationYear "2008" @default.
- W1563919005 type Work @default.
- W1563919005 sameAs 1563919005 @default.
- W1563919005 citedByCount "19" @default.
- W1563919005 countsByYear W15639190052012 @default.
- W1563919005 countsByYear W15639190052013 @default.
- W1563919005 countsByYear W15639190052015 @default.
- W1563919005 countsByYear W15639190052017 @default.
- W1563919005 countsByYear W15639190052019 @default.
- W1563919005 countsByYear W15639190052021 @default.
- W1563919005 crossrefType "book-chapter" @default.
- W1563919005 hasAuthorship W1563919005A5086291871 @default.
- W1563919005 hasConcept C110251889 @default.
- W1563919005 hasConcept C115903868 @default.
- W1563919005 hasConcept C142724271 @default.
- W1563919005 hasConcept C199360897 @default.
- W1563919005 hasConcept C204787440 @default.
- W1563919005 hasConcept C2776329536 @default.
- W1563919005 hasConcept C2780385302 @default.
- W1563919005 hasConcept C31258907 @default.
- W1563919005 hasConcept C41008148 @default.
- W1563919005 hasConcept C41878487 @default.
- W1563919005 hasConcept C48103436 @default.
- W1563919005 hasConcept C56666940 @default.
- W1563919005 hasConcept C71924100 @default.
- W1563919005 hasConcept C93996380 @default.
- W1563919005 hasConceptScore W1563919005C110251889 @default.
- W1563919005 hasConceptScore W1563919005C115903868 @default.
- W1563919005 hasConceptScore W1563919005C142724271 @default.
- W1563919005 hasConceptScore W1563919005C199360897 @default.
- W1563919005 hasConceptScore W1563919005C204787440 @default.
- W1563919005 hasConceptScore W1563919005C2776329536 @default.
- W1563919005 hasConceptScore W1563919005C2780385302 @default.
- W1563919005 hasConceptScore W1563919005C31258907 @default.
- W1563919005 hasConceptScore W1563919005C41008148 @default.
- W1563919005 hasConceptScore W1563919005C41878487 @default.
- W1563919005 hasConceptScore W1563919005C48103436 @default.
- W1563919005 hasConceptScore W1563919005C56666940 @default.
- W1563919005 hasConceptScore W1563919005C71924100 @default.
- W1563919005 hasConceptScore W1563919005C93996380 @default.
- W1563919005 hasLocation W15639190051 @default.
- W1563919005 hasOpenAccess W1563919005 @default.
- W1563919005 hasPrimaryLocation W15639190051 @default.
- W1563919005 hasRelatedWork W117130080 @default.
- W1563919005 hasRelatedWork W1563919005 @default.
- W1563919005 hasRelatedWork W1592393183 @default.
- W1563919005 hasRelatedWork W1601757209 @default.
- W1563919005 hasRelatedWork W197558729 @default.
- W1563919005 hasRelatedWork W2128091120 @default.
- W1563919005 hasRelatedWork W2151898527 @default.
- W1563919005 hasRelatedWork W2393381991 @default.
- W1563919005 hasRelatedWork W2401820446 @default.
- W1563919005 hasRelatedWork W2741430969 @default.
- W1563919005 isParatext "false" @default.
- W1563919005 isRetracted "false" @default.
- W1563919005 magId "1563919005" @default.
- W1563919005 workType "book-chapter" @default.