Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285222796> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4285222796 endingPage "635" @default.
- W4285222796 startingPage "616" @default.
- W4285222796 created "2022-07-14" @default.
- W4285222796 creator A5019860410 @default.
- W4285222796 creator A5020535463 @default.
- W4285222796 creator A5024449104 @default.
- W4285222796 creator A5044038693 @default.
- W4285222796 creator A5082086181 @default.
- W4285222796 date "2022-01-01" @default.
- W4285222796 modified "2023-09-26" @default.
- W4285222796 title "Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda" @default.
- W4285222796 cites W2003214215 @default.
- W4285222796 cites W2074250816 @default.
- W4285222796 cites W2075854425 @default.
- W4285222796 cites W2763398287 @default.
- W4285222796 cites W2774513577 @default.
- W4285222796 cites W2790340769 @default.
- W4285222796 cites W2897762392 @default.
- W4285222796 cites W2898758704 @default.
- W4285222796 cites W2902905458 @default.
- W4285222796 cites W2959880161 @default.
- W4285222796 cites W2964159515 @default.
- W4285222796 cites W3106097923 @default.
- W4285222796 cites W3172044556 @default.
- W4285222796 cites W4234815233 @default.
- W4285222796 cites W4242767025 @default.
- W4285222796 cites W4285222796 @default.
- W4285222796 cites W4308078212 @default.
- W4285222796 doi "https://doi.org/10.1007/978-3-031-06773-0_33" @default.
- W4285222796 hasPublicationYear "2022" @default.
- W4285222796 type Work @default.
- W4285222796 citedByCount "1" @default.
- W4285222796 countsByYear W42852227962022 @default.
- W4285222796 crossrefType "book-chapter" @default.
- W4285222796 hasAuthorship W4285222796A5019860410 @default.
- W4285222796 hasAuthorship W4285222796A5020535463 @default.
- W4285222796 hasAuthorship W4285222796A5024449104 @default.
- W4285222796 hasAuthorship W4285222796A5044038693 @default.
- W4285222796 hasAuthorship W4285222796A5082086181 @default.
- W4285222796 hasConcept C108710211 @default.
- W4285222796 hasConcept C111498074 @default.
- W4285222796 hasConcept C120314980 @default.
- W4285222796 hasConcept C142724271 @default.
- W4285222796 hasConcept C15569618 @default.
- W4285222796 hasConcept C168021876 @default.
- W4285222796 hasConcept C199360897 @default.
- W4285222796 hasConcept C204787440 @default.
- W4285222796 hasConcept C2524010 @default.
- W4285222796 hasConcept C26713055 @default.
- W4285222796 hasConcept C2780385302 @default.
- W4285222796 hasConcept C33923547 @default.
- W4285222796 hasConcept C41008148 @default.
- W4285222796 hasConcept C55439883 @default.
- W4285222796 hasConcept C63540848 @default.
- W4285222796 hasConcept C71924100 @default.
- W4285222796 hasConcept C75606506 @default.
- W4285222796 hasConcept C80444323 @default.
- W4285222796 hasConceptScore W4285222796C108710211 @default.
- W4285222796 hasConceptScore W4285222796C111498074 @default.
- W4285222796 hasConceptScore W4285222796C120314980 @default.
- W4285222796 hasConceptScore W4285222796C142724271 @default.
- W4285222796 hasConceptScore W4285222796C15569618 @default.
- W4285222796 hasConceptScore W4285222796C168021876 @default.
- W4285222796 hasConceptScore W4285222796C199360897 @default.
- W4285222796 hasConceptScore W4285222796C204787440 @default.
- W4285222796 hasConceptScore W4285222796C2524010 @default.
- W4285222796 hasConceptScore W4285222796C26713055 @default.
- W4285222796 hasConceptScore W4285222796C2780385302 @default.
- W4285222796 hasConceptScore W4285222796C33923547 @default.
- W4285222796 hasConceptScore W4285222796C41008148 @default.
- W4285222796 hasConceptScore W4285222796C55439883 @default.
- W4285222796 hasConceptScore W4285222796C63540848 @default.
- W4285222796 hasConceptScore W4285222796C71924100 @default.
- W4285222796 hasConceptScore W4285222796C75606506 @default.
- W4285222796 hasConceptScore W4285222796C80444323 @default.
- W4285222796 hasLocation W42852227961 @default.
- W4285222796 hasOpenAccess W4285222796 @default.
- W4285222796 hasPrimaryLocation W42852227961 @default.
- W4285222796 hasRelatedWork W1592393183 @default.
- W4285222796 hasRelatedWork W1607540445 @default.
- W4285222796 hasRelatedWork W2108394166 @default.
- W4285222796 hasRelatedWork W2154690088 @default.
- W4285222796 hasRelatedWork W2155162307 @default.
- W4285222796 hasRelatedWork W2736366676 @default.
- W4285222796 hasRelatedWork W28279778 @default.
- W4285222796 hasRelatedWork W3091728393 @default.
- W4285222796 hasRelatedWork W4221165972 @default.
- W4285222796 hasRelatedWork W4285222796 @default.
- W4285222796 isParatext "false" @default.
- W4285222796 isRetracted "false" @default.
- W4285222796 workType "book-chapter" @default.