Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249008170> ?p ?o ?g. }
Showing items 1 to 29 of
29
with 100 items per page.
- W4249008170 endingPage "572" @default.
- W4249008170 startingPage "561" @default.
- W4249008170 created "2022-05-12" @default.
- W4249008170 date "2004-01-01" @default.
- W4249008170 modified "2023-10-16" @default.
- W4249008170 title "Model Checking" @default.
- W4249008170 doi "https://doi.org/10.1016/b978-155860856-6/50037-5" @default.
- W4249008170 hasPublicationYear "2004" @default.
- W4249008170 type Work @default.
- W4249008170 citedByCount "0" @default.
- W4249008170 crossrefType "book-chapter" @default.
- W4249008170 hasConcept C41008148 @default.
- W4249008170 hasConceptScore W4249008170C41008148 @default.
- W4249008170 hasLocation W42490081701 @default.
- W4249008170 hasOpenAccess W4249008170 @default.
- W4249008170 hasPrimaryLocation W42490081701 @default.
- W4249008170 hasRelatedWork W2096946506 @default.
- W4249008170 hasRelatedWork W2130043461 @default.
- W4249008170 hasRelatedWork W2350741829 @default.
- W4249008170 hasRelatedWork W2358668433 @default.
- W4249008170 hasRelatedWork W2376932109 @default.
- W4249008170 hasRelatedWork W2382290278 @default.
- W4249008170 hasRelatedWork W2390279801 @default.
- W4249008170 hasRelatedWork W2748952813 @default.
- W4249008170 hasRelatedWork W2899084033 @default.
- W4249008170 hasRelatedWork W3004735627 @default.
- W4249008170 isParatext "false" @default.
- W4249008170 isRetracted "false" @default.
- W4249008170 workType "book-chapter" @default.