Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594417> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W1594417 endingPage "410" @default.
- W1594417 startingPage "396" @default.
- W1594417 created "2016-06-24" @default.
- W1594417 creator A5028550024 @default.
- W1594417 date "1985-01-01" @default.
- W1594417 modified "2023-09-23" @default.
- W1594417 title "Modular Verification of Distributed Systems." @default.
- W1594417 hasPublicationYear "1985" @default.
- W1594417 type Work @default.
- W1594417 sameAs 1594417 @default.
- W1594417 citedByCount "0" @default.
- W1594417 crossrefType "proceedings-article" @default.
- W1594417 hasAuthorship W1594417A5028550024 @default.
- W1594417 hasConcept C101468663 @default.
- W1594417 hasConcept C120314980 @default.
- W1594417 hasConcept C199360897 @default.
- W1594417 hasConcept C41008148 @default.
- W1594417 hasConceptScore W1594417C101468663 @default.
- W1594417 hasConceptScore W1594417C120314980 @default.
- W1594417 hasConceptScore W1594417C199360897 @default.
- W1594417 hasConceptScore W1594417C41008148 @default.
- W1594417 hasLocation W15944171 @default.
- W1594417 hasOpenAccess W1594417 @default.
- W1594417 hasPrimaryLocation W15944171 @default.
- W1594417 hasRelatedWork W102430827 @default.
- W1594417 hasRelatedWork W10324980 @default.
- W1594417 hasRelatedWork W126322393 @default.
- W1594417 hasRelatedWork W1512484641 @default.
- W1594417 hasRelatedWork W1549145142 @default.
- W1594417 hasRelatedWork W155027859 @default.
- W1594417 hasRelatedWork W2033561486 @default.
- W1594417 hasRelatedWork W2273057198 @default.
- W1594417 hasRelatedWork W2319008013 @default.
- W1594417 hasRelatedWork W2405182141 @default.
- W1594417 hasRelatedWork W2487810902 @default.
- W1594417 hasRelatedWork W2521386573 @default.
- W1594417 hasRelatedWork W2785852717 @default.
- W1594417 hasRelatedWork W3159675293 @default.
- W1594417 hasRelatedWork W656667927 @default.
- W1594417 hasRelatedWork W659463147 @default.
- W1594417 hasRelatedWork W85541253 @default.
- W1594417 hasRelatedWork W2942456741 @default.
- W1594417 hasRelatedWork W2943093096 @default.
- W1594417 hasRelatedWork W3104305249 @default.
- W1594417 isParatext "false" @default.
- W1594417 isRetracted "false" @default.
- W1594417 magId "1594417" @default.
- W1594417 workType "article" @default.