%0 Journal Article %J Journal of Open Source Software %D 2021 %T BisPy: Bisimulation in Python %A Francesco Andreuzzi %B Journal of Open Source Software %V 6 %P 3519 %G eng