Matches in SemOpenAlex for { <https://semopenalex.org/work/W748865475> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W748865475 abstract "The purpose of this paper is to investigate the integration of these previous efforts in the design of an asynchronous Bysantine- resilient computing system. The ultimate goal is a formlally verified gate-level implementation." @default.
- W748865475 created "2016-06-24" @default.
- W748865475 creator A5055137084 @default.
- W748865475 date "2003-09-01" @default.
- W748865475 modified "2023-09-27" @default.
- W748865475 title "A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits" @default.
- W748865475 cites W2063567614 @default.
- W748865475 cites W2099078002 @default.
- W748865475 cites W2120532974 @default.
- W748865475 cites W2169991924 @default.
- W748865475 cites W89549601 @default.
- W748865475 hasPublicationYear "2003" @default.
- W748865475 type Work @default.
- W748865475 sameAs 748865475 @default.
- W748865475 citedByCount "0" @default.
- W748865475 crossrefType "journal-article" @default.
- W748865475 hasAuthorship W748865475A5055137084 @default.
- W748865475 hasConcept C111498074 @default.
- W748865475 hasConcept C115903868 @default.
- W748865475 hasConcept C118524514 @default.
- W748865475 hasConcept C134652429 @default.
- W748865475 hasConcept C137059387 @default.
- W748865475 hasConcept C151319957 @default.
- W748865475 hasConcept C199360897 @default.
- W748865475 hasConcept C41008148 @default.
- W748865475 hasConcept C42196554 @default.
- W748865475 hasConcept C76155785 @default.
- W748865475 hasConcept C7923308 @default.
- W748865475 hasConcept C87695204 @default.
- W748865475 hasConceptScore W748865475C111498074 @default.
- W748865475 hasConceptScore W748865475C115903868 @default.
- W748865475 hasConceptScore W748865475C118524514 @default.
- W748865475 hasConceptScore W748865475C134652429 @default.
- W748865475 hasConceptScore W748865475C137059387 @default.
- W748865475 hasConceptScore W748865475C151319957 @default.
- W748865475 hasConceptScore W748865475C199360897 @default.
- W748865475 hasConceptScore W748865475C41008148 @default.
- W748865475 hasConceptScore W748865475C42196554 @default.
- W748865475 hasConceptScore W748865475C76155785 @default.
- W748865475 hasConceptScore W748865475C7923308 @default.
- W748865475 hasConceptScore W748865475C87695204 @default.
- W748865475 hasLocation W7488654751 @default.
- W748865475 hasOpenAccess W748865475 @default.
- W748865475 hasPrimaryLocation W7488654751 @default.
- W748865475 hasRelatedWork W103349162 @default.
- W748865475 hasRelatedWork W1631441013 @default.
- W748865475 hasRelatedWork W1984634196 @default.
- W748865475 hasRelatedWork W1986195317 @default.
- W748865475 hasRelatedWork W1999796373 @default.
- W748865475 hasRelatedWork W2016657094 @default.
- W748865475 hasRelatedWork W2036945707 @default.
- W748865475 hasRelatedWork W2060070465 @default.
- W748865475 hasRelatedWork W2061486735 @default.
- W748865475 hasRelatedWork W2096172098 @default.
- W748865475 hasRelatedWork W2105182891 @default.
- W748865475 hasRelatedWork W2133598769 @default.
- W748865475 hasRelatedWork W2144807261 @default.
- W748865475 hasRelatedWork W2151499748 @default.
- W748865475 hasRelatedWork W2169540841 @default.
- W748865475 hasRelatedWork W2537019364 @default.
- W748865475 hasRelatedWork W2801972078 @default.
- W748865475 hasRelatedWork W2965330650 @default.
- W748865475 hasRelatedWork W197379521 @default.
- W748865475 hasRelatedWork W2154673500 @default.
- W748865475 isParatext "false" @default.
- W748865475 isRetracted "false" @default.
- W748865475 magId "748865475" @default.
- W748865475 workType "article" @default.