BisPy: Bisimulation in Python

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

Abstract

Abstract is missing.