Matches in SemOpenAlex for { <https://semopenalex.org/work/W2273057198> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2273057198 endingPage "55" @default.
- W2273057198 startingPage "52" @default.
- W2273057198 abstract "A practitioner's guide to increasing confidence in system correctness." @default.
- W2273057198 created "2016-06-24" @default.
- W2273057198 creator A5027129978 @default.
- W2273057198 date "2016-01-25" @default.
- W2273057198 modified "2023-09-23" @default.
- W2273057198 title "The verification of a distributed system" @default.
- W2273057198 cites W1973938051 @default.
- W2273057198 cites W2023718005 @default.
- W2273057198 cites W2167814583 @default.
- W2273057198 cites W3137784269 @default.
- W2273057198 doi "https://doi.org/10.1145/2844108" @default.
- W2273057198 hasPublicationYear "2016" @default.
- W2273057198 type Work @default.
- W2273057198 sameAs 2273057198 @default.
- W2273057198 citedByCount "7" @default.
- W2273057198 countsByYear W22730571982016 @default.
- W2273057198 countsByYear W22730571982017 @default.
- W2273057198 countsByYear W22730571982018 @default.
- W2273057198 countsByYear W22730571982019 @default.
- W2273057198 countsByYear W22730571982022 @default.
- W2273057198 crossrefType "journal-article" @default.
- W2273057198 hasAuthorship W2273057198A5027129978 @default.
- W2273057198 hasConcept C41008148 @default.
- W2273057198 hasConceptScore W2273057198C41008148 @default.
- W2273057198 hasIssue "2" @default.
- W2273057198 hasLocation W22730571981 @default.
- W2273057198 hasOpenAccess W2273057198 @default.
- W2273057198 hasPrimaryLocation W22730571981 @default.
- W2273057198 hasRelatedWork W2093578348 @default.
- W2273057198 hasRelatedWork W2096946506 @default.
- W2273057198 hasRelatedWork W2350741829 @default.
- W2273057198 hasRelatedWork W2358668433 @default.
- W2273057198 hasRelatedWork W2376932109 @default.
- W2273057198 hasRelatedWork W2382290278 @default.
- W2273057198 hasRelatedWork W2390279801 @default.
- W2273057198 hasRelatedWork W2748952813 @default.
- W2273057198 hasRelatedWork W2766271392 @default.
- W2273057198 hasRelatedWork W2899084033 @default.
- W2273057198 hasVolume "59" @default.
- W2273057198 isParatext "false" @default.
- W2273057198 isRetracted "false" @default.
- W2273057198 magId "2273057198" @default.
- W2273057198 workType "article" @default.