Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300600357> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W4300600357 endingPage "2182" @default.
- W4300600357 startingPage "2178" @default.
- W4300600357 created "2022-10-03" @default.
- W4300600357 creator A5011986740 @default.
- W4300600357 creator A5075487629 @default.
- W4300600357 date "2016-01-01" @default.
- W4300600357 modified "2023-10-16" @default.
- W4300600357 title "Symbolic Model Checking" @default.
- W4300600357 cites W1783770095 @default.
- W4300600357 cites W1999890019 @default.
- W4300600357 cites W2061438988 @default.
- W4300600357 cites W2080267935 @default.
- W4300600357 cites W4231640108 @default.
- W4300600357 cites W4300021588 @default.
- W4300600357 doi "https://doi.org/10.1007/978-1-4939-2864-4_416" @default.
- W4300600357 hasPublicationYear "2016" @default.
- W4300600357 type Work @default.
- W4300600357 citedByCount "0" @default.
- W4300600357 crossrefType "book-chapter" @default.
- W4300600357 hasAuthorship W4300600357A5011986740 @default.
- W4300600357 hasAuthorship W4300600357A5075487629 @default.
- W4300600357 hasConcept C110251889 @default.
- W4300600357 hasConcept C199360897 @default.
- W4300600357 hasConcept C23123167 @default.
- W4300600357 hasConcept C41008148 @default.
- W4300600357 hasConceptScore W4300600357C110251889 @default.
- W4300600357 hasConceptScore W4300600357C199360897 @default.
- W4300600357 hasConceptScore W4300600357C23123167 @default.
- W4300600357 hasConceptScore W4300600357C41008148 @default.
- W4300600357 hasLocation W43006003571 @default.
- W4300600357 hasOpenAccess W4300600357 @default.
- W4300600357 hasPrimaryLocation W43006003571 @default.
- W4300600357 hasRelatedWork W1479736339 @default.
- W4300600357 hasRelatedWork W1552900908 @default.
- W4300600357 hasRelatedWork W1583364777 @default.
- W4300600357 hasRelatedWork W1599483650 @default.
- W4300600357 hasRelatedWork W1751458928 @default.
- W4300600357 hasRelatedWork W1978951759 @default.
- W4300600357 hasRelatedWork W2138161962 @default.
- W4300600357 hasRelatedWork W2151898527 @default.
- W4300600357 hasRelatedWork W47563837 @default.
- W4300600357 hasRelatedWork W1894736207 @default.
- W4300600357 isParatext "false" @default.
- W4300600357 isRetracted "false" @default.
- W4300600357 workType "book-chapter" @default.