On checking equivalence of simulation scripts

Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. On checking equivalence of simulation scripts. J. Log. Algebr. Meth. Program., 120:100640, 2021. [doi]

Authors

Toni Mancini

This author has not been identified. Look up 'Toni Mancini' in Google

Federico Mari

This author has not been identified. Look up 'Federico Mari' in Google

Annalisa Massini

This author has not been identified. Look up 'Annalisa Massini' in Google

Igor Melatti

This author has not been identified. Look up 'Igor Melatti' in Google

Enrico Tronci

This author has not been identified. Look up 'Enrico Tronci' in Google