Click MC_Bisimulazione_debole_proprietà.pdf link to view the file.