Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols

Overview of attention for article published in Software and Systems Modeling, December 2015

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 11 Dimensions

Readers on

mendeley: 16 Mendeley

Summary X Dimensions citations

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

#OnlineFirst: Towards an integrated formal method for verification of liveness properties in distributed systems; https://t.co/6IPpH5hFwW

Reply Repost Favourite