Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914094712> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2914094712 endingPage "124" @default.
- W2914094712 startingPage "101" @default.
- W2914094712 created "2019-02-21" @default.
- W2914094712 creator A5042840626 @default.
- W2914094712 creator A5043936415 @default.
- W2914094712 creator A5065931607 @default.
- W2914094712 date "1990-01-01" @default.
- W2914094712 modified "2023-09-24" @default.
- W2914094712 title "Sematics-Driven Decompositions for the Verification of Distributed Programs." @default.
- W2914094712 hasPublicationYear "1990" @default.
- W2914094712 type Work @default.
- W2914094712 sameAs 2914094712 @default.
- W2914094712 citedByCount "0" @default.
- W2914094712 crossrefType "journal-article" @default.
- W2914094712 hasAuthorship W2914094712A5042840626 @default.
- W2914094712 hasAuthorship W2914094712A5043936415 @default.
- W2914094712 hasAuthorship W2914094712A5065931607 @default.
- W2914094712 hasConcept C199360897 @default.
- W2914094712 hasConcept C41008148 @default.
- W2914094712 hasConceptScore W2914094712C199360897 @default.
- W2914094712 hasConceptScore W2914094712C41008148 @default.
- W2914094712 hasLocation W29140947121 @default.
- W2914094712 hasOpenAccess W2914094712 @default.
- W2914094712 hasPrimaryLocation W29140947121 @default.
- W2914094712 hasRelatedWork W1489588785 @default.
- W2914094712 hasRelatedWork W1508046772 @default.
- W2914094712 hasRelatedWork W1510471799 @default.
- W2914094712 hasRelatedWork W1515005904 @default.
- W2914094712 hasRelatedWork W1526577506 @default.
- W2914094712 hasRelatedWork W1591897221 @default.
- W2914094712 hasRelatedWork W1593890387 @default.
- W2914094712 hasRelatedWork W1870697936 @default.
- W2914094712 hasRelatedWork W1927629143 @default.
- W2914094712 hasRelatedWork W2013108521 @default.
- W2914094712 hasRelatedWork W2029909844 @default.
- W2914094712 hasRelatedWork W2071674735 @default.
- W2914094712 hasRelatedWork W2109337044 @default.
- W2914094712 hasRelatedWork W2126407141 @default.
- W2914094712 hasRelatedWork W2127966738 @default.
- W2914094712 hasRelatedWork W2322058956 @default.
- W2914094712 hasRelatedWork W2508948552 @default.
- W2914094712 hasRelatedWork W2539907235 @default.
- W2914094712 hasRelatedWork W2526106663 @default.
- W2914094712 hasRelatedWork W2901165165 @default.
- W2914094712 isParatext "false" @default.
- W2914094712 isRetracted "false" @default.
- W2914094712 magId "2914094712" @default.
- W2914094712 workType "article" @default.