Tools and Algorithms for the Construction and Analysis of 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 25 tweets from 21 users, with an upper bound of 30,665 followers.

Property Directed Reachability for Generalized Petri Nets https://t.co/uAqUmSHJfC

NeuReach : Learning Reachability Functions from Simulations https://t.co/rTqewBHSTW https://t.co/uSR7V7sK4M

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

RT @hanielmbarbosa: And we got the best tool paper award for it! :D https://t.co/uGKkCZx5WJ

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

Click here to find out how to access more activity, including 21 additional tweets.