Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300782000> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W4300782000 endingPage "7" @default.
- W4300782000 startingPage "1" @default.
- W4300782000 created "2022-10-04" @default.
- W4300782000 creator A5011986740 @default.
- W4300782000 creator A5075487629 @default.
- W4300782000 date "2014-01-01" @default.
- W4300782000 modified "2023-10-16" @default.
- W4300782000 title "Symbolic Model Checking" @default.
- W4300782000 cites W1999890019 @default.
- W4300782000 cites W2061438988 @default.
- W4300782000 cites W2080267935 @default.
- W4300782000 cites W4231640108 @default.
- W4300782000 cites W4300021588 @default.
- W4300782000 doi "https://doi.org/10.1007/978-3-642-27848-8_416-2" @default.
- W4300782000 hasPublicationYear "2014" @default.
- W4300782000 type Work @default.
- W4300782000 citedByCount "0" @default.
- W4300782000 crossrefType "book-chapter" @default.
- W4300782000 hasAuthorship W4300782000A5011986740 @default.
- W4300782000 hasAuthorship W4300782000A5075487629 @default.
- W4300782000 hasConcept C110251889 @default.
- W4300782000 hasConcept C199360897 @default.
- W4300782000 hasConcept C23123167 @default.
- W4300782000 hasConcept C41008148 @default.
- W4300782000 hasConceptScore W4300782000C110251889 @default.
- W4300782000 hasConceptScore W4300782000C199360897 @default.
- W4300782000 hasConceptScore W4300782000C23123167 @default.
- W4300782000 hasConceptScore W4300782000C41008148 @default.
- W4300782000 hasLocation W43007820001 @default.
- W4300782000 hasOpenAccess W4300782000 @default.
- W4300782000 hasPrimaryLocation W43007820001 @default.
- W4300782000 hasRelatedWork W1545972740 @default.
- W4300782000 hasRelatedWork W1557832504 @default.
- W4300782000 hasRelatedWork W1742935137 @default.
- W4300782000 hasRelatedWork W1785234853 @default.
- W4300782000 hasRelatedWork W1852145007 @default.
- W4300782000 hasRelatedWork W1978951759 @default.
- W4300782000 hasRelatedWork W2156717832 @default.
- W4300782000 hasRelatedWork W2364866360 @default.
- W4300782000 hasRelatedWork W2365988016 @default.
- W4300782000 hasRelatedWork W2182602702 @default.
- W4300782000 isParatext "false" @default.
- W4300782000 isRetracted "false" @default.
- W4300782000 workType "book-chapter" @default.