Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804949216> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2804949216 created "2018-06-01" @default.
- W2804949216 creator A5003817717 @default.
- W2804949216 creator A5028269639 @default.
- W2804949216 date "2018-01-01" @default.
- W2804949216 modified "2023-10-16" @default.
- W2804949216 title "Functional Specification of Hardware via Temporal Logic" @default.
- W2804949216 cites W1491593738 @default.
- W2804949216 cites W1493407222 @default.
- W2804949216 cites W1503206383 @default.
- W2804949216 cites W1507658300 @default.
- W2804949216 cites W1535073122 @default.
- W2804949216 cites W1578302512 @default.
- W2804949216 cites W1590315663 @default.
- W2804949216 cites W1600581889 @default.
- W2804949216 cites W1755189310 @default.
- W2804949216 cites W1761635979 @default.
- W2804949216 cites W1967494119 @default.
- W2804949216 cites W1968086929 @default.
- W2804949216 cites W1976773489 @default.
- W2804949216 cites W1984478483 @default.
- W2804949216 cites W202859088 @default.
- W2804949216 cites W2044206530 @default.
- W2804949216 cites W2068106852 @default.
- W2804949216 cites W2069709605 @default.
- W2804949216 cites W2081042767 @default.
- W2804949216 cites W2089939112 @default.
- W2804949216 cites W2103976539 @default.
- W2804949216 cites W2114817689 @default.
- W2804949216 cites W2123613958 @default.
- W2804949216 cites W2157005730 @default.
- W2804949216 cites W2164131403 @default.
- W2804949216 cites W2168579189 @default.
- W2804949216 cites W26627830 @default.
- W2804949216 cites W2806619258 @default.
- W2804949216 cites W2911594569 @default.
- W2804949216 cites W2914206182 @default.
- W2804949216 cites W4239007999 @default.
- W2804949216 cites W4255535261 @default.
- W2804949216 cites W4300021588 @default.
- W2804949216 doi "https://doi.org/10.1007/978-3-319-10575-8_24" @default.
- W2804949216 hasPublicationYear "2018" @default.
- W2804949216 type Work @default.
- W2804949216 sameAs 2804949216 @default.
- W2804949216 citedByCount "3" @default.
- W2804949216 countsByYear W28049492162020 @default.
- W2804949216 countsByYear W28049492162021 @default.
- W2804949216 countsByYear W28049492162022 @default.
- W2804949216 crossrefType "book-chapter" @default.
- W2804949216 hasAuthorship W2804949216A5003817717 @default.
- W2804949216 hasAuthorship W2804949216A5028269639 @default.
- W2804949216 hasConcept C110251889 @default.
- W2804949216 hasConcept C146499914 @default.
- W2804949216 hasConcept C154945302 @default.
- W2804949216 hasConcept C162670838 @default.
- W2804949216 hasConcept C184337299 @default.
- W2804949216 hasConcept C195818886 @default.
- W2804949216 hasConcept C199360897 @default.
- W2804949216 hasConcept C25016198 @default.
- W2804949216 hasConcept C41008148 @default.
- W2804949216 hasConcept C60048249 @default.
- W2804949216 hasConcept C80444323 @default.
- W2804949216 hasConceptScore W2804949216C110251889 @default.
- W2804949216 hasConceptScore W2804949216C146499914 @default.
- W2804949216 hasConceptScore W2804949216C154945302 @default.
- W2804949216 hasConceptScore W2804949216C162670838 @default.
- W2804949216 hasConceptScore W2804949216C184337299 @default.
- W2804949216 hasConceptScore W2804949216C195818886 @default.
- W2804949216 hasConceptScore W2804949216C199360897 @default.
- W2804949216 hasConceptScore W2804949216C25016198 @default.
- W2804949216 hasConceptScore W2804949216C41008148 @default.
- W2804949216 hasConceptScore W2804949216C60048249 @default.
- W2804949216 hasConceptScore W2804949216C80444323 @default.
- W2804949216 hasLocation W28049492161 @default.
- W2804949216 hasOpenAccess W2804949216 @default.
- W2804949216 hasPrimaryLocation W28049492161 @default.
- W2804949216 hasRelatedWork W1497302929 @default.
- W2804949216 hasRelatedWork W1545185546 @default.
- W2804949216 hasRelatedWork W1574489046 @default.
- W2804949216 hasRelatedWork W161809560 @default.
- W2804949216 hasRelatedWork W1830897027 @default.
- W2804949216 hasRelatedWork W2018438152 @default.
- W2804949216 hasRelatedWork W2027573831 @default.
- W2804949216 hasRelatedWork W2047100849 @default.
- W2804949216 hasRelatedWork W2279276870 @default.
- W2804949216 hasRelatedWork W2963544244 @default.
- W2804949216 hasRelatedWork W2969236395 @default.
- W2804949216 hasRelatedWork W3039320827 @default.
- W2804949216 hasRelatedWork W3089447317 @default.
- W2804949216 hasRelatedWork W3102290089 @default.
- W2804949216 hasRelatedWork W4707687 @default.
- W2804949216 hasRelatedWork W76748986 @default.
- W2804949216 hasRelatedWork W850723191 @default.
- W2804949216 hasRelatedWork W9120665 @default.
- W2804949216 hasRelatedWork W1707250457 @default.
- W2804949216 hasRelatedWork W2182690430 @default.
- W2804949216 isParatext "false" @default.
- W2804949216 isRetracted "false" @default.
- W2804949216 magId "2804949216" @default.
- W2804949216 workType "book-chapter" @default.