Per visualizzare il file, fai click su questo link: MC_Bisimulazione_debole_proprietà.pdf