Formal Techniques for Distributed Objects, Components, and Systems

Overview of attention for book

Springer International Publishing

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

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

[hal-03320023] Better Late Than Never or: Verifying Asynchronous Components at Runtime by Duncan Attard et al. https://t.co/1FOUA3Jdu4

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

Click here to find out how to access more activity.