Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Springer International Publishing

Attention for Chapter: Property Directed Reachability for Generalized Petri Nets

Altmetric Badge

Mentioned by

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

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

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

Click here to find out how to access more activity.