BisPy: Bisimulation in Python

Francesco Andreuzzi. BisPy: Bisimulation in Python. J. Open Source Software, 6(65):3519, 2021. [doi]

Authors

Francesco Andreuzzi

This author has not been identified. Look up 'Francesco Andreuzzi' in Google