Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381302012> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4381302012 endingPage "348" @default.
- W4381302012 startingPage "337" @default.
- W4381302012 created "2023-06-21" @default.
- W4381302012 creator A5058729606 @default.
- W4381302012 date "2023-01-01" @default.
- W4381302012 modified "2023-09-23" @default.
- W4381302012 title "Model Checking" @default.
- W4381302012 doi "https://doi.org/10.1007/978-3-319-65596-3_19" @default.
- W4381302012 hasPublicationYear "2023" @default.
- W4381302012 type Work @default.
- W4381302012 citedByCount "0" @default.
- W4381302012 crossrefType "book-chapter" @default.
- W4381302012 hasAuthorship W4381302012A5058729606 @default.
- W4381302012 hasConcept C110251889 @default.
- W4381302012 hasConcept C153269930 @default.
- W4381302012 hasConcept C192034797 @default.
- W4381302012 hasConcept C199360897 @default.
- W4381302012 hasConcept C30888246 @default.
- W4381302012 hasConcept C41008148 @default.
- W4381302012 hasConcept C55439883 @default.
- W4381302012 hasConcept C80444323 @default.
- W4381302012 hasConcept C98045186 @default.
- W4381302012 hasConceptScore W4381302012C110251889 @default.
- W4381302012 hasConceptScore W4381302012C153269930 @default.
- W4381302012 hasConceptScore W4381302012C192034797 @default.
- W4381302012 hasConceptScore W4381302012C199360897 @default.
- W4381302012 hasConceptScore W4381302012C30888246 @default.
- W4381302012 hasConceptScore W4381302012C41008148 @default.
- W4381302012 hasConceptScore W4381302012C55439883 @default.
- W4381302012 hasConceptScore W4381302012C80444323 @default.
- W4381302012 hasConceptScore W4381302012C98045186 @default.
- W4381302012 hasLocation W43813020121 @default.
- W4381302012 hasOpenAccess W4381302012 @default.
- W4381302012 hasPrimaryLocation W43813020121 @default.
- W4381302012 hasRelatedWork W1764099364 @default.
- W4381302012 hasRelatedWork W1985198438 @default.
- W4381302012 hasRelatedWork W2008237330 @default.
- W4381302012 hasRelatedWork W2045840663 @default.
- W4381302012 hasRelatedWork W2121482121 @default.
- W4381302012 hasRelatedWork W2155162307 @default.
- W4381302012 hasRelatedWork W2623736020 @default.
- W4381302012 hasRelatedWork W2889429285 @default.
- W4381302012 hasRelatedWork W3203050594 @default.
- W4381302012 hasRelatedWork W4288099681 @default.
- W4381302012 isParatext "false" @default.
- W4381302012 isRetracted "false" @default.
- W4381302012 workType "book-chapter" @default.