Verifying polymer reaction networks using bisimulation
scientific article; zbMATH DE number 7260167
scientific article