Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata

Overview of attention for article published in Frontiers in Blockchain, September 2023

Altmetric Badge

Mentioned by

twitter: 1 X user

Readers on

mendeley: 3 Mendeley

So far, Altmetric has seen 1 X post from an account with 1,175 followers.

New research: Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata #blockchain https://t.co/63Kc5fVn1L

14 Sep 2023

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.