DOI,IST REx ID,Title of publication
null,8315,Divide and scale: Formalization of distributed ledger sharding protocols