Matches in SemOpenAlex for { <https://semopenalex.org/work/W1780511277> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1780511277 endingPage "304" @default.
- W1780511277 startingPage "291" @default.
- W1780511277 created "2016-06-24" @default.
- W1780511277 creator A5015904690 @default.
- W1780511277 creator A5071386903 @default.
- W1780511277 creator A5085064292 @default.
- W1780511277 date "2012-01-01" @default.
- W1780511277 modified "2023-10-18" @default.
- W1780511277 title "On the Formal Verification of Systems of Synchronous Software Components" @default.
- W1780511277 cites W1506127417 @default.
- W1780511277 cites W1507385115 @default.
- W1780511277 cites W1553848812 @default.
- W1780511277 cites W1591643794 @default.
- W1780511277 cites W1780511277 @default.
- W1780511277 cites W1809672455 @default.
- W1780511277 cites W1981808971 @default.
- W1780511277 cites W2001748564 @default.
- W1780511277 cites W2008724308 @default.
- W1780511277 cites W2022877924 @default.
- W1780511277 cites W2031381504 @default.
- W1780511277 cites W2089003125 @default.
- W1780511277 cites W2158395308 @default.
- W1780511277 cites W2158768907 @default.
- W1780511277 cites W2160367421 @default.
- W1780511277 cites W2281299258 @default.
- W1780511277 cites W2619380196 @default.
- W1780511277 cites W3201256648 @default.
- W1780511277 doi "https://doi.org/10.1007/978-3-642-33678-2_25" @default.
- W1780511277 hasPublicationYear "2012" @default.
- W1780511277 type Work @default.
- W1780511277 sameAs 1780511277 @default.
- W1780511277 citedByCount "6" @default.
- W1780511277 countsByYear W17805112772012 @default.
- W1780511277 countsByYear W17805112772014 @default.
- W1780511277 countsByYear W17805112772015 @default.
- W1780511277 countsByYear W17805112772019 @default.
- W1780511277 crossrefType "book-chapter" @default.
- W1780511277 hasAuthorship W1780511277A5015904690 @default.
- W1780511277 hasAuthorship W1780511277A5071386903 @default.
- W1780511277 hasAuthorship W1780511277A5085064292 @default.
- W1780511277 hasConcept C110251889 @default.
- W1780511277 hasConcept C111498074 @default.
- W1780511277 hasConcept C112505250 @default.
- W1780511277 hasConcept C115903868 @default.
- W1780511277 hasConcept C142284323 @default.
- W1780511277 hasConcept C149091818 @default.
- W1780511277 hasConcept C151319957 @default.
- W1780511277 hasConcept C167822520 @default.
- W1780511277 hasConcept C186846655 @default.
- W1780511277 hasConcept C199360897 @default.
- W1780511277 hasConcept C25016198 @default.
- W1780511277 hasConcept C2776329536 @default.
- W1780511277 hasConcept C2777904410 @default.
- W1780511277 hasConcept C31258907 @default.
- W1780511277 hasConcept C41008148 @default.
- W1780511277 hasConcept C62460635 @default.
- W1780511277 hasConcept C75606506 @default.
- W1780511277 hasConcept C80444323 @default.
- W1780511277 hasConceptScore W1780511277C110251889 @default.
- W1780511277 hasConceptScore W1780511277C111498074 @default.
- W1780511277 hasConceptScore W1780511277C112505250 @default.
- W1780511277 hasConceptScore W1780511277C115903868 @default.
- W1780511277 hasConceptScore W1780511277C142284323 @default.
- W1780511277 hasConceptScore W1780511277C149091818 @default.
- W1780511277 hasConceptScore W1780511277C151319957 @default.
- W1780511277 hasConceptScore W1780511277C167822520 @default.
- W1780511277 hasConceptScore W1780511277C186846655 @default.
- W1780511277 hasConceptScore W1780511277C199360897 @default.
- W1780511277 hasConceptScore W1780511277C25016198 @default.
- W1780511277 hasConceptScore W1780511277C2776329536 @default.
- W1780511277 hasConceptScore W1780511277C2777904410 @default.
- W1780511277 hasConceptScore W1780511277C31258907 @default.
- W1780511277 hasConceptScore W1780511277C41008148 @default.
- W1780511277 hasConceptScore W1780511277C62460635 @default.
- W1780511277 hasConceptScore W1780511277C75606506 @default.
- W1780511277 hasConceptScore W1780511277C80444323 @default.
- W1780511277 hasLocation W17805112771 @default.
- W1780511277 hasOpenAccess W1780511277 @default.
- W1780511277 hasPrimaryLocation W17805112771 @default.
- W1780511277 hasRelatedWork W1525453508 @default.
- W1780511277 hasRelatedWork W1601757209 @default.
- W1780511277 hasRelatedWork W1603899095 @default.
- W1780511277 hasRelatedWork W1780511277 @default.
- W1780511277 hasRelatedWork W195546321 @default.
- W1780511277 hasRelatedWork W2034695828 @default.
- W1780511277 hasRelatedWork W2741430969 @default.
- W1780511277 hasRelatedWork W2745949103 @default.
- W1780511277 hasRelatedWork W47563837 @default.
- W1780511277 hasRelatedWork W2616196462 @default.
- W1780511277 isParatext "false" @default.
- W1780511277 isRetracted "false" @default.
- W1780511277 magId "1780511277" @default.
- W1780511277 workType "book-chapter" @default.